miniLCF
miniLCF copied to clipboard
andrejbauer
A bare-bones LCF-style proof assistant
trafficstars
miniLCF
A minimal LCF-style theorem prover with OCaml as the meta-language.
andrejbauer