Displaying 1-5 of 5 packages depending on ufmg-smite/smt
Sort by
  1. GasStationManager/FormalizeWithTestuses0e0e28c

    Autoformalization of coding problems, verified with test cases
  2. joehendrix/lean-cryptouses8cb2f22

    Cryptographic routines for the Lean 4 language
  3. project-numina/libuses9b81e91

    Solving Competition Geometry Problems in Lean
  4. verse-lab/veiluses639e041

    A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
  5. avigad/VerificationDemouses0b41804

    A temporary repository