Reservoir
No results found
All Packages
cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
Readme
Versions (1)
Displaying
1-1
of
1
versions of
cpdt-lean
Sort by
Date
Not a part of any version track.
6589613
2 years ago
Released on June 5, 2022 at 7:38:48PM
Commit 6589613 builds on its old leanprover/lean4:nightly-2022-06-05
nightly-2022-06-05
1
20