8000 Release v0.2 · lenianiva/lean4-nix · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

v0.2

Latest
Latest
Compare
Choose a tag to compare
@lenianiva lenianiva released this 10 Dec 06:09
· 62 commits to main since this release
v0.2
09894fa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • feat: Support v.4.11.0 v4.12.0, v4.13.0, v4.14.0
  • fix: Numeric versions in lake-manifest.json no longer crashes the flake
  • chore: Format code
Assets 2
Loading
0