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

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

Open Issues Need Help

View All on GitHub

Alternative syntax for terms 8 days ago

enhancement help wanted

Bowuigi/Justify

4

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

JavaScript

More examples about 1 month ago

documentation help wanted

Bowuigi/Justify

4

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

JavaScript

Compile to Prolog 3 months ago

enhancement help wanted

Bowuigi/Justify

4

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

JavaScript