No results found

auto

Experiments in automation for Lean
Displaying 1-8 of 8 packages depending on leanprover-community/auto
Sort by

  1. leanprover-community/Duperusesb9a5fa7

  2. GasStationManager/FormalizeWithTestuses5367bcd

    Autoformalization of coding problems, verified with test cases

  3. JOSHCLUNE/Hammerusesacd8fb2

  4. hanwenzhu/hammer-demousesacd8fb2

  5. siddhartha-gadgil/leanaideuses9a558f4

    Tools based on AI for helping with Lean 4

  6. GasStationManager/LeanToolusesacd8fb2

    A "code intepreter" for Lean

  7. ufmg-smite/smtusescd38a18

    Tactics for discharging Lean goals into SMT solvers.

  8. verse-lab/veilusesec89836

    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.