Canonical
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
of 4 versions of Canonical
1-4Sort by
Date
062f62a
v4.21.0v4.21.02.0 MB062f62a
v4.21.0v4.21.02.0 MB873ee0f
v4.20.0v4.20.01.4 MB26048ed
v4.20.0-rc3v4.20.0-rc31.3 MB