lecopivo / HouLeanLinks

Lean 4 as a scripting language in Houdini
21Updated last year

Alternatives and similar repositories for HouLean

Users that are interested in HouLean are comparing it to the libraries listed below

Sorting: