Reservoir
No results found
All Packages
Uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
#linear-types
#uniqueness-types
Readme
Versions (1)
Displaying
1-1
of
1
versions of
Uniq
Sort by
Date
Not a part of any version track.
e622cfd
a year ago
Released on May 8, 2023 at 3:56:27PM
Commit e622cfd fails to build on leanprover/lean4:nightly-2023-01-14
nightly-2023-01-14
1
20