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
Added subset definition axiom
#48
Closed
sankalpgambhir
closed
2 years ago
sankalpgambhir
commented
2 years ago
Added missing subset predicate definition axiom.
Added missing subset predicate definition axiom.