miniLCF icon indicating copy to clipboard operation
miniLCF copied to clipboard

Published 20 hours ago • verified publisher icon andrejbauer
→

Metadata

A bare-bones LCF-style proof assistant

miniLCF

A minimal LCF-style theorem prover with OCaml as the meta-language.

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon andrejbauer

Metadata

A bare-bones LCF-style proof assistant

Back