Functional Programming

Code for 2018 Functional Programming

Proof. auto. Qed.

🧐

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
Solutions		Solutions
.gitignore		.gitignore
11_18_点名练习_10152160137.v		11_18_点名练习_10152160137.v
11_19_点名练习_10152160137.v		11_19_点名练习_10152160137.v
11_19_课堂练习_10152160137.v		11_19_课堂练习_10152160137.v
11_26_点名练习_10152160137.v		11_26_点名练习_10152160137.v
12_3_点名练习_10152160137.v		12_3_点名练习_10152160137.v
Basics.v		Basics.v
Imp.v		Imp.v
IndPrinciples.v		IndPrinciples.v
IndProp.v		IndProp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.v
Maps.v		Maps.v
Poly.v		Poly.v
ProofObjects.v		ProofObjects.v
README.md		README.md
Rel.v		Rel.v
Tactics.v		Tactics.v
homework10_10152160137.v		homework10_10152160137.v
homework11_10151590121_1216.v		homework11_10151590121_1216.v
homework11_10152160137.v		homework11_10152160137.v
homework1_10152160137.v		homework1_10152160137.v
homework2_10152160137.v		homework2_10152160137.v
homework3_10152160137.v		homework3_10152160137.v
homework4_10152160137.v		homework4_10152160137.v
homework6_10152160137.v		homework6_10152160137.v
homework7_10151590121_1124.v		homework7_10151590121_1124.v
homework7_10152160137.v		homework7_10152160137.v
homework8_10152160137.v		homework8_10152160137.v
homework9_10152160137.v		homework9_10152160137.v

Provide feedback