Lean theorem prover mathlib

(github.com) by downboots | Dec 14, 2025 | 4 comments on HN