Lean 4 in Houdini
This Houdini plugin allows you to use Lean 4 as a scripting language/replacement of VEX. This plugin is highly experimental!
Installation instructions
To build HouLean
run these commands:
lake script run compileCpp /opt/hfs19.0 lake build labe script run install ~/houdini19.0
If necessary, replace /opt/hfs19.0
with your Houdini install path and ~/houdini19.0
with Houdini preference directory.
You can find the above example scene in houdini/hip/example.hip
.