No results found

auto

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

  1. leanprover-community/Duperusescab3e33

  2. GasStationManager/FormalizeWithTestuses5367bcd

    Autoformalization of coding problems, verified with test cases