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. Beneficial-AI-Foundation/FloatSpecusesv4.27.0-rc1

    Formally Verified Float Implementation with lean4