A Python package for deal with logical formulas and formal systems (e.g. FOL)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool