A minimal proof checker. - View it on GitHub
Star
80
Rank
358175