Typo in Zermelo axioms in the manual

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Closed giammirove closed 11 months ago

giammirove commented 11 months ago

The extensionality axiom is written twice, where the second occurrence should be the subset axiom.