GitHub repository: leanprover/reference
Primary language: Python
Created: 2017-04-18T18:21:24Z
Description: Reference manual for the Lean theorem prover