GitHub - NeuralCoder3/script_proofs: a coq (and lean) variant of the calculus from the maths prep course

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
coq		coq
lean_script		lean_script
lean_v2		lean_v2
.gitignore		.gitignore

About

a coq (and lean) variant of the calculus from the maths prep course

neuralcoder3.github.io/script_proofs/

No releases published