☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
MetaExamples
Examples using MetaProgramming for writing tactics etc.
Displaying
1-1
of
1
versions of
MetaExamples
Sort by
Date
Not a part of any version track.
2a28f15
5 months ago
Released on February 11, 2025 at 9:55:17AM
Commit 2a28f15 builds on its old leanprover/lean4:v4.16.0
v4.16.0
50.5 KB
Build archive size: 50499 bytes.
1
20