Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: lcf-style
veracruz-project/supervisionary
The Supervisionary proof-checking kernel for higher-order logic
Language: Rust - Size: 827 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0
edoput/lcf-prover
silly automated prover for minimal propositional logic
Language: OCaml - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 3 - 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: 5 months ago - Pushed: 5 months ago - Stars: 12 - Forks: 1
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
Language: Haskell - Size: 81.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0
FlorianCassayre/semester-project 📦
Semester Project at LARA (EPFL)
Language: Scala - Size: 301 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 1
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Size: 123 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - 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: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0