Canonical
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
of 8 versions of Canonical
1-8Sort by
Date
763f322
v4.24.0-rc1v4.24.0-rc1763f322
v4.24.0-rc1v4.24.0-rc1077feb0
v4.23.0v4.23.065797c0
v4.22.0v4.22.081efdd9
v4.22.0-rc4v4.22.0-rc4062f62a
v4.21.0v4.21.02.0 MB873ee0f
v4.20.0v4.20.01.4 MB26048ed
v4.20.0-rc3v4.20.0-rc31.3 MB