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!

preview.png

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.

GitHub

View Github