Re:AlphaProof Code
by creata on Tuesday November 10, 2026 @08:32AM
(#50440060)
There was recently a decently fast implementation of DEFLATE in Lean: https://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-t...
[ Parent
| on HN ]
There are no comments on this comment yet.