Super HN

   Lean Theorem Prover Mathlib (github.com) 4 points by downboots 1 hour ago