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
Hotfix: error printing with `repr`
#158
Closed
sankalpgambhir
closed
1 year ago
sankalpgambhir
commented
1 year ago
Fixes #157 .
Fixes #157 .