Displaying 1-2 of 2 packages depending on leanprover-community/auto
Sort by
  1. ufmg-smite/smtusesfa3040a

    Tactics for discharging Lean goals into SMT solvers.