Skip to content

minimal-v0.1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Dec 04:52
· 0 commits to master since this release
minimal-v0.1
This tag was signed with the committer’s verified signature.
PS-Soundwave Soundwave
GPG key ID: FE11E63383FABB38
Verified
Learn about vigilant mode.
e7a4b54
This commit was signed with the committer’s verified signature.
PS-Soundwave Soundwave
GPG key ID: FE11E63383FABB38
Verified
Learn about vigilant mode. 
Initial release of a fork of Lean with minimal notations in the prelu…
Assets 6
Loading