https://github.com/lecopivo/HouLean

Lean 4 as a scripting language in Houdini
https://github.com/lecopivo/HouLean

houdini houdini-plugin lean4

Last synced: 2 months ago
JSON representation

Lean 4 as a scripting language in Houdini

• Host: GitHub
• URL: https://github.com/lecopivo/HouLean
• Owner: lecopivo
• Created: 2022-04-23T18:22:34.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-03-13T14:32:56.000Z (7 months ago)
• Last Synced: 2024-05-29T03:26:05.031Z (4 months ago)
• Topics: houdini, houdini-plugin, lean4
• Language: C++
• Homepage:
• Size: 1.41 MB
• Stars: 15
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.org

Awesome Lists containing this project