☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (10)
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.
375a25b
20 days ago
Released on September 16, 2025 at 10:35:00AM
Commit 375a25b builds on its recent leanprover/lean4:v4.22.0
v4.22.0
53.2 KB
Build archive size: 53197 bytes.
1
20