Fast DEFLATE compression in Lean kim-em.github.io· lo · ▲ 0 points · Jul 26, 2026 kim-em.github.io Fast DEFLATE compression in Lean Notes on Lean, tactics, and making the theorem prover do more work.
0 comments
No comments yet.