·
137 commits
to main
since this release
Since the last preview, the following content has been added:
- A chapter on Elan and its command line interface
- A description of reference counting and memory management
- Details about the specifics of
unsafeandpartialdefinitions - A detailed description of signatures and automatic implicit parameters
- More details about reducibility
- Nested inductive types
- Axioms
The table of contents has also been reworked to better organize the information and make it easier to find.
In addition, more of the included docstrings have been edited upstream in Lean itself, and the manual is now generated with the latest nightly release of Lean.