Junk Theorems in Lean

(github.com) by saithound | Dec 23, 2025 | 0 comments on HN