Links indicate relevance, not agreement. How to use this site →
Scale (May 2026): - 26 books - 630,999 total lines of code (483,917 lines of Lean, excluding comments/blanks) - 46,203 declarations, 42,837 proved (92.7%) - 2,855 / 4,007 statements formalized (71.3%) - 183,157M tokens consumed