https://lecopivo.github.io/
Mathematician interested in physics simulation, computer graphics and numerical methods.
Tomáš Skřivan
lecopivo
Scientific computing in Lean 4
Houdini C++ wrangle node
Lean 4 as a scripting language in Houdini