No results found

smt

Tactics for discharging Lean goals into SMT solvers.
#smt
Displaying 1-2 of 2 packages depending on ufmg-smite/smt
Sort by

  1. joehendrix/lean-cryptouses8cb2f22

    Cryptographic routines for the Lean 4 language

  2. avigad/VerificationDemouses0b41804

    A temporary repository