No results found

auto

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

  1. leanprover-community/Duperusesa9047f3

  2. GasStationManager/FormalizeWithTestuses5367bcd

    Autoformalization of coding problems, verified with test cases

  3. ufmg-smite/smtusesf1ed94c

    Tactics for discharging Lean goals into SMT solvers.

  4. verse-lab/veiluses44d9c8a

    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.