mhuisiUniq

Static Uniqueness Analysis for the Lean 4 Theorem Prover
#linear-types #uniqueness-types
No README.md in repository.