Lean Language Reference

https://github.com/leanprover/reference-manual

A comprehensive and precise reference work describing the Lean programming language, designed for...

Tokens:8,259
Snippets:65
Trust Score:7.9
License:Apache-2.0
Update:6 months ago
Tokens:
Raw