search

lecopivo / SciLean

Scientific computing in Lean 4
https://lecopivo.github.io/scientific-computing-lean/
Apache License 2.0
327 stars 29 forks source link

Add surface meshes into SciLean #4

Closed bollu closed 1 year ago

lecopivo commented 1 year ago

Super excited seeing progress on this so soon!

bollu commented 1 year ago

@lecopivo This now works. The examples run and we check that the surface meshes of the bunny and the sphere have euler charateristic 2.

lecopivo commented 1 year ago

This is dead, right? And I can close it