-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: potassco/anthem
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
adding double negation elim to classical simplifications
#178
opened Dec 10, 2024 by
ZachJHansen
Loading…
a first draft for automated testing of tptp compliance
#177
opened Dec 6, 2024 by
ZachJHansen
Loading…
Add more, hopefully rather uncontroversial simplifications
A-simplifying
Area: Simplifying
C-feature-accepted
Category: Accepted feature
E-easy
Experience: Easy
L-fol
Language: First-order logic
#172
opened Dec 4, 2024 by
teiesti
Loading…
Zach/simplifications
A-simplifying
Area: Simplifying
C-enhancement
Category: Enhancement
E-hard
Experience: Hard
L-fol
Language: First-order logic
P-medium
Priority: Medium
#149
opened Sep 7, 2024 by
ZachJHansen
Loading…
Add tests for the control language
A-formatting
Area: Formatting
A-parsing
Area: Parsing
A-syntax-tree
Area: Abstract syntax tree
C-cleanup
Category: Cleanup
E-easy
Experience: Easy
L-fol
Language: First-order logic
P-low
Priority: Low
ProTip!
Updated in the last three days: updated:>2024-12-20.