issues
search
vaibhavkarve
/
igl2020
Lean project for Fall 2020
https://vaibhavkarve.github.io/igl2020/model
7
stars
2
forks
source link
add def : model of theory extended by a single struc
#90
Closed
vaibhavkarve
closed
3 years ago
vaibhavkarve
commented
3 years ago
This closes #80
This closes #80