/jsfol

JSON syntax for writing first order logic

MIT LicenseMIT

Watchers