issues
search
vaibhavkarve
/
igl2020
Lean project for Fall 2020
https://vaibhavkarve.github.io/igl2020/model
7
stars
2
forks
source link
(WIP) add proof sketch for lemma: models all or none sentences
#89
Closed
vaibhavkarve
closed
3 years ago
vaibhavkarve
commented
3 years ago
This makes partial progress towards #36
This makes partial progress towards #36