lcf-style

There are 7 repositories under lcf-style topic.

catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Language:C14 3 12
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
Language:Haskell6 3 0
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
5 3 00
edoput/lcf-prover
silly automated prover for minimal propositional logic
Language:OCaml5 1 00
veracruz-project/supervisionary
The Supervisionary proof-checking kernel for higher-order logic
Language:Rust3 3 00
FlorianCassayre/lcf-scala
Prototype for LCF-style theorem proving, verified by the compiler and execution-less.
Language:Scala1 3 0
FlorianCassayre/semester-project
Semester Project at LARA (EPFL)
Language:Scala3 01