No results found

Uniq

Static Uniqueness Analysis for the Lean 4 Theorem Prover
#linear-types #uniqueness-types
Displaying 1-1 of 1 versions of Uniq
Sort by
  1. Not a part of any version track.
    e622cfd
    2 years 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