Lean Language Reference

https://lean-lang.org/doc/reference/latest

The Lean Language Reference is a comprehensive reference documentation for Lean, a dependently-typed...

Tokens:155,544
Snippets:1,275
Trust Score:10
Update:2 months ago
Tokens:
Raw