lean4-mlir
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE. https://github.com/brettkoonce/lean4-mlir
Discover more builders
Builderlust is an endless, joyful scroll of real projects people are shipping right now. Get the app to keep finding your next spark of inspiration.
📱 Coming soon to iOS & AndroidOpen in the app