discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Logitext – An educational proof assistant for first-order classical logic
http://logitext.mit.edu/main
3 comments
2/8/2018