Corrections on proofs Mapping/SetTheory

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Closed lighthea closed 1 year ago

lighthea commented 1 year ago

Small correections : -not using withparameter -not using ax/thm syntax -two more proofs

sankalpgambhir commented 1 year ago

Proofs were redone with new syntax and other changes in #115 and others.