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
Set theory updates
#147
Closed
sankalpgambhir
closed
1 year ago
sankalpgambhir
commented
1 year ago
Shortened Cantor Theorem proof by liberal use of Tautology.
Added some FOL theorems to deal with quantifiers
Added substitution utility to only substitute on one side of the sequent