GitHub topics: proof-languages
HigherOrderCO/Kind
A modern proof language
Language: Haskell - Size: 34.6 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 3,670 - Forks: 146
pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Language: Rust - Size: 46.9 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
