Milestone 6: Demo 3
Closed Nov 24, 2023
100% complete
Target of 70% Completion. Proof Mode and Majority of inference rules should be implemented.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.