A bare-bones LCF-style proof assistant - View it on GitHub
Star
25
Rank
803544