Reservoir
No results found
All Packages
Canonical
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Readme
Versions (2)
Displaying
1-2
of
2
versions of
Canonical
Sort by
Date
Not a part of any version track.
26048ed
v4.20.0-rc3
6 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.
Not a part of any version track.
26048ed
v4.20.0-rc3
6 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.
1
20