Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool