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!
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