Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with interactive-proofs
A curated list of projects in awesome lists tagged with interactive-proofs .
https://github.com/spamegg1/spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
dependent-types formal-verification interactive-proofs lean lean4 math proof theorem
Last synced: 20 Dec 2024
https://github.com/sunsided/coq-playground
Toying around with the Coq Proof Assistant
Last synced: 06 Nov 2024
https://github.com/sunsided/lean4-playground
Toying around with Microsoft Lean 4
Last synced: 20 Dec 2024