☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (8)
tutorial
Aeneas tutorial for ICFP
Displaying
1-1
of
1
versions of
tutorial
Sort by
Date
Not a part of any version track.
806615d
8 months ago
Released on November 27, 2024 at 4:13:28PM
Commit 806615d builds on its old leanprover/lean4:v4.11.0-rc2
v4.11.0-rc2
205.4 KB
Build archive size: 205440 bytes.
1
20