Bipinoli / learning-coq Public

Curious adventures in Coq proof assistant

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
README.md		README.md
basics.v		basics.v
first.v		first.v
higher_order_function.v		higher_order_function.v
lists.v		lists.v
pairs.v		pairs.v
partial_maps.v		partial_maps.v
polymorphism.v		polymorphism.v
proof_by_case.v		proof_by_case.v
proof_by_induction.v		proof_by_induction.v
simple_proofs.v		simple_proofs.v