Coq学习笔记(0)

最近在学coq，发现网上相关资料真的好少，准备对最近的学习做个整理。今天太晚了先力个flag。