Logitext – An educational proof assistant for first-order classical logic

Comments

from Hacker News https://ift.tt/1joVtEW
via

Comments

Popular posts from this blog