A curated list of awesome interactive theorem prover frameworks
Updated 5 months ago 1 commits 15 stars
quark-coder|Mirror: AI4Maths/awesome-interactive-theorem-prover (⭐15)
5 months agoAbout
A curated list of awesome interactive theorem prover frameworks
Readme
15 stars