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. apnelson1/Matroidusesv4.21.0