Skip to content

Releases: leanprover-community/lean4-metaprogramming-book

Metaprogramming in Lean 4

05 Nov 23:10
@github-actions github-actions
latest
3f28838
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
Metaprogramming in Lean 4 Pre-release
Pre-release

Commits

Assets 4
Loading