Issues
- 0
Bug in expressions with quantifiers
#6 opened by TheAeryan - 0
Documentation
#5 opened by fatenlouati - 3
bugs in find_unification?
#4 opened by rudaoshi - 3
proves_and_proved_by might be wrong?
#3 opened by Charlier-pi - 1
Proof System Diagrams
#2 opened by vivekjoshy