GitHub - january147/software_foundations_notes: 学习software foundations的重点记录以及课程练习

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.gitignore		.gitignore
Basics.v		Basics.v
IndProp.v		IndProp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
Poly.v		Poly.v
README.md		README.md
Tactics.v		Tactics.v
_CoqProject		_CoqProject

Navigation Menu