Lean 4 Documentation

https://imperialcollegelondon.github.io/FLT/docs/

Comprehensive documentation for Lean 4, including the Mathlib mathematics library, standard...

Tokens:23,875,762
Snippets:155,955
Trust Score:9.7
Update:2 months ago
Tokens:
Raw