Open vaibhavkarve opened 3 years ago
https://github.com/vaibhavkarve/igl2020/blob/7e8efeecc990a28c1c0a3784fb2d44aed5032ad3/src/model.lean#L512 Depends on #75 and #76 . Solve those first.
https://github.com/vaibhavkarve/igl2020/blob/7e8efeecc990a28c1c0a3784fb2d44aed5032ad3/src/model.lean#L512 Depends on #75 and #76 . Solve those first.