Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.

https://github.com/brettkoonce/lean4-mlir