issues
search
epfl-lara
/
lisa
Proof assistant based on first-order logic and set theory
Apache License 2.0
33
stars
18
forks
source link
Corrected Tautology bug.
#143
Closed
SimonGuilloud
closed
1 year ago
SimonGuilloud
commented
1 year ago
Found the bug. Now Tautology replaces Trivial everywhere.
Found the bug. Now Tautology replaces Trivial everywhere.