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
refman is the directory for manul. Style changes and small fixes.
#202
Closed
vkuncak
closed
9 months ago