Reservoir
No results found
All Packages
MetaExamples
Examples using MetaProgramming for writing tactics etc.
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
MetaExamples
Sort by
Date
Not a part of any version track.
aada533
a month ago
Released on December 20, 2024 at 3:40:35PM
Commit aada533 builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
50.0 KB
Build archive size: 49983 bytes.
1
20