Open Lysxia opened 3 years ago
Add some automated checks to keep track of the axioms used by the library.
Add some automated checks to keep track of the axioms used by the library.