split model.lean into files -- func, lang, struc, model - Githubissues

vaibhavkarve / igl2020

Lean project for Fall 2020

https://vaibhavkarve.github.io/igl2020/model

7 stars 2 forks source link

split model.lean into files -- func, lang, struc, model #94

Closed vaibhavkarve closed 3 years ago