Lean AI Formalization Leaderboardlean-lang.org1 point·frozenseven··0 commentsOpen articleSaveView on HN