GitHub topics: lcf-style
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Size: 123 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0
catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Language: C - Size: 51.8 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2
edoput/lcf-prover
silly automated prover for minimal propositional logic
Language: OCaml - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
Language: Haskell - Size: 81.1 KB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 6 - Forks: 0
FlorianCassayre/lcf-scala
Prototype for LCF-style theorem proving, verified by the compiler and execution-less.
Language: Scala - Size: 7.81 KB - Last synced at: 7 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
FlorianCassayre/semester-project 📦
Semester Project at LARA (EPFL)
Language: Scala - Size: 301 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
veracruz-project/supervisionary
The Supervisionary proof-checking kernel for higher-order logic
Language: Rust - Size: 827 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
