parse-dont-validate

There are 0 repository under parse-dont-validate topic.

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
catseye / Castile
MIRROR of https://codeberg.org/catseye/Castile : A simple imperative language with union types (and a compiler for same, with multiple targets)
experimental-language compiler programming-language typecase flow-typing parse-dont-validate multiple-backends interpreter multiple-targets union-type union-types
Language:Python 3