This repository has been archived by the owner on Aug 24, 2024. It is now read-only.
Version 1.0.0-pre.2
Pre-release
Pre-release
·
118 commits
to main
since this release
98528b3
This commit was signed with the committer’s verified signature.
insightmind
Niklas Bülow
This is the second official pre-release of LeanInk.
For more information on LeanInk, specifically how to install it, take a look at the readme.
Supported Lean 4 version:
leanprover/lean4:nightly-2022-01-07
Bug fixes:
- Fixes an issue that cause clipping of text at the end of the source file output
Experimental Features:
- Use the
--experimental-type-tokensflag to activate the new features supported by thetypeidbranch of the Alectryon fork. This is still WIP atm.