奔奔奔奔腾

pyppeteer防反爬干扰脚本

selenium爬虫可能会被检测到,此脚本配合pyppeteer等可以完美绕过~

python3自动发邮件脚本

python3自动发邮件脚本,以QQ邮箱为例,自己配置发送邮箱和授权码

coq参考手册The Coq Reference Manual

coq参考手册TheCoqReferenceManual，由coq开发小组所写。

Coq教程The Coq Proof Assistant

Coq教程TheCoqProofAssistant，作者：GérardHuet,GillesKahnandChristinePaulin-Mohring