ufmg-smitesmt

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

  1. GasStationManager/FormalizeWithTestuses0e0e28c

    Autoformalization of coding problems, verified with test cases

  2. BoltonBailey/FormalSnarksProjectuses21aa44c

    A formal verification of Linear PCP SNARKs.

  3. JOSHCLUNE/Hammeruses1fbc840

    LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

  4. joehendrix/lean-cryptouses8cb2f22

    Cryptographic routines for the Lean 4 language

  5. project-numina/libuses9b81e91

    Solving Competition Geometry Problems in Lean

  6. avigad/VerificationDemouses0b41804

    A temporary repository