Issues
- 0
Dependency Dashboard
#22 opened by renovate - 0
Cannot load calculi example
#108 opened by JuliusHenke - 8
FO Sequent: Error when using allLeft or exRight
#104 opened by Drodt - 0
Misc: Frontend
#17 opened by rec0de - 0
unifyTerms returns incorrect MGU
#47 opened by rec0de - 11
Proposal: Split Repository
#5 opened by DerDrodt - 0
Tree layout overlap in sequent calculus
#15 opened by rec0de - 2
FO Resolution: Incorrect Suffixes
#50 opened by DerDrodt - 0
Improve move and calculus naming
#12 opened by JuliusHenke - 4
Add Usage Statistics
#8 opened by JuliusHenke - 0
Misc: Scoreboards
#16 opened by rec0de - 2
- 11