Logitext - discu.eu

Hacker News

Logitext – An educational proof assistant for first-order classical logic http://logitext.mit.edu/main 3 comments 2/8/2018

Linking pages

Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo! https://www.philipzucker.com/javascript-automated-proving/ 3 comments
Polymorphic variants in Ur/Web : ezyang’s blog http://blog.ezyang.com/2012/07/polymorphic-variants-in-urweb/ 0 comments

Related searches:

Search whole site: site:logitext.mit.edu

Search title: Logitext

See how to search.

Submit link to: