jaysonvirissimo / syllogism

Proof checker for arguments in Aristotle's term logic

Geek Repo

Github PK Tool