Tree @master (Download .tar.gz)
Repositories.md @master — view markup · raw · history · blame
Theorem Proving Repos
stepchowfun/proofs: My personal repository of formally verified mathematics.
- url: https://github.com/stepchowfun/proofs
- license: MIT
- topics: Theorem Proving, Coq
.
thautwarm/Sequent.jl: formally and easily, describe the semantics.
- url: https://github.com/thautwarm/Sequent.jl
- license: MIT
- topics: Theorem Proving
- future-topics: Formal Semantics
.