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
Change the string representation of ∈ to 'elem', of ordered pair to 'pair'
#57
Closed
cache-nez
closed
2 years ago
cache-nez
commented
2 years ago
Rename the unordered_pair function label to unorderedPair.
Rename the unordered_pair function label to unorderedPair.