Pinned
At Theoric we believe software should be fast and bug free. As part of the mandate, we are rewriting existing existing GPU software in Lean 4, and rewrote TinyGrad in Lean 4, and, it is faster!
Why it matters, because this means we can take existing software, rewrite it's core
