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
Readme cleanups and updates
#189
Closed
sankalpgambhir
closed
11 months ago
sankalpgambhir
commented
11 months ago
added references to publications. They are both in different styles, but those are the styles of the publishers... The two are not visible on Google scholar together either, so it's a bit harder to uniformize them.
formatted the file generally
fixed grammar or spelling errors
make instructions a bit more explicit