No results found

auto

Experiments in automation for Lean
Displaying 1-5 of 5 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/Hammeruses9a558f4

  4. hanwenzhu/hammer-demouses9a558f4

  5. ufmg-smite/smtusescd38a18

    Tactics for discharging Lean goals into SMT solvers.