Issues
- 2
cannot view prover output from results tables ( Failed to open stream: HTTP request failed! )
#109 opened - 2
Unicode output broken
#97 opened - 0
- 1
- 3
Conflict in ITS
#79 opened - 2
Conflict in TRS Relative
#78 opened - 4
Conflict in C Integer
#77 opened - 1
- 4
MuVal contradiction in C Integer
#73 opened - 5
AProVE is unsound on variable lhs
#69 opened - 2
NaTT is unsound on variable lhs
#68 opened - 2
NTI logic programming issue
#65 opened - 7
KoAT & MuVal vs. LoAT conflict
#61 opened - 3
conflicts in ITS
#60 opened - 2
Ultimate not working?
#59 opened - 3
conflict in C Integer
#56 opened - 2
KoAT is inaccessible
#55 opened - 1
CeTA version (for 2022)?
#21 opened - 2
failed to copy ...
#10 opened