Hacker Next
A proof checker meant for educationjsiek.github.io
145 points by alabhyajindal 5 days ago | 43 comments