chasenormanCanonical

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Displaying 1-1 of 1 packages depending on chasenorman/Canonical
Sort by

  1. leansolving/CSPusesv4.24.0-rc1