A semantically accurate implementation of first-order logic in JavaScript π©βπ«.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool