miniLCF
miniLCF copied to clipboard
andrejbauer
A bare-bones LCF-style proof assistant
Results
0
miniLCF issues
Sort by
recently updated
recently updated
newest added