GIT_FEED

brettkoonce/lean4-mlir

Use Lean4 to build and train image recognition networks in MLIR.

View on GitHub
0Active

On the radar — signal detected

Stars
4
Forks
0
Contributors
2
Language
Lean

Score updated Apr 12, 2026

// SUBSCRIBE

The repos that moved this week, why they matter, and what to watch next. One email. No noise.