Open Issues Need Help
View All on GitHub Compile to Prolog about 2 months ago
enhancement help wanted
Bowuigi/Justify Bowuigi/Justify A common exchange format for logical systems expressed in terms of inference rules.
Open project →
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 Bowuigi/Justify A common exchange format for logical systems expressed in terms of inference rules.
Open project →
4
A common exchange format for logical systems expressed in terms of inference rules.
JavaScript