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
Add the file CHANGES.md
#196
Closed
SimonGuilloud
closed
10 months ago
SimonGuilloud
commented
10 months ago
New files that tracks down patch notes
New files that tracks down patch notes