Bowuigi

Bowuigi/Justify

A common exchange format for logical systems expressed in terms of inference rules.

4 stars 0 forks 4 watchers JavaScript BSD 3-Clause "New" or "Revised" License

2 Open Issues Need Help Last updated: Jun 8, 2026

Open Issues Need Help

View All on GitHub

Compile to Prolog about 2 months ago

enhancement help wanted

Bowuigi/Justify

4

A common exchange format for logical systems expressed in terms of inference rules.

JavaScript

Alternative syntax for terms about 2 months ago

enhancement help wanted

Bowuigi/Justify

4

A common exchange format for logical systems expressed in terms of inference rules.

JavaScript