No results found

Canonical

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Displaying 1-2 of 2 versions of Canonical
Sort by
  1. Not a part of any version track.
    26048ed
    v4.20.0-rc3
    10 days ago
    Released on May 8, 2025 at 11:07:44PM
    Commit 26048ed builds on its recent leanprover/lean4:v4.20.0-rc3
    v4.20.0-rc3
    1.3 MB Build archive size: 1265017 bytes.
  2. Not a part of any version track.
    26048ed
    v4.20.0-rc3
    10 days ago
    Released on May 8, 2025 at 11:07:44PM
    Commit 26048ed builds on its recent leanprover/lean4:v4.20.0-rc3
    v4.20.0-rc3
    1.3 MB Build archive size: 1265017 bytes.