Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Version 1.0.0-pre.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@insightmind insightmind released this 15 Dec 19:18
· 134 commits to main since this release
1.0.0-pre.1
8cabc55
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is the first 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-2021-12-15

Assets 2
Loading