lcf-style

There are 0 repository 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)
theorem-prover lcf-style ansi-c c89 propositional-logic natural-deduction proof-checker theorem-proving proof-checking
Language:C 14
timjb / set-theory-prover
Simple LCF-style proof assistant for ZFC
set-theory proof-assistant lcf-style zfc hilbert-calculus
Language:Haskell 6
cpressey / LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
natural-deduction lcf-style propositional-logic parse-dont-validate encapsulation theorem-prover proof-checker theorem-proving proof-checking cpressey-theory
5
edoput / lcf-prover
silly automated prover for minimal propositional logic
lcf-style theorem-prover silly
Language:OCaml 3
veracruz-project / supervisionary
The Supervisionary proof-checking kernel for higher-order logic
confidential-computing privacy-enhancing-technologies veracruz theorem-proving theorem-prover higher-order-logic webassembly proof-assistant formal-verification formal-methods lcf-style
Language:Rust 3
FlorianCassayre / lcf-scala
Prototype for LCF-style theorem proving, verified by the compiler and execution-less.
scala theorem-proving lcf-style
Language:Scala 1
FlorianCassayre / semester-project
Semester Project at LARA (EPFL)
epfl lara automated-reasoning formal-methods set-theory lcf-style
Language:Scala