Skip to content

Releases: lenianiva/lean4-nix

v0.2

10 Dec 06:09
@lenianiva lenianiva
v0.2
09894fa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2 Latest
Latest
  • 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

v0.1

27 Oct 01:13
@lenianiva lenianiva
v0.1
51e51a2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1
  1. Automatically read Lean version from lean-toolchain
  2. Load multiple lean4 versions at the same time is now possible with overlays
  3. lake2nix: Convert a lake-manifest.json into Nix expressions. There's a template example for building a project with the aesop dependency

Currently the only supported Lean major version is v4.12.0 since that is the version for which the nix flake was deprecated.

Assets 2
Loading