☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
#linear-types
#uniqueness-types
No
README.md
in repository.