leanprover-communityauto

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

  1. leanprover-community/Duperusesv4.24.0-hammer

  2. GasStationManager/FormalizeWithTestuses5367bcd

    Autoformalization of coding problems, verified with test cases

  3. JOSHCLUNE/Hammerusesv4.24.0-hammer

  4. hanwenzhu/hammer-demouses1e5d9f1

  5. siddhartha-gadgil/leanaideuses1e5d9f1

    Tools based on AI for helping with Lean 4

  6. GasStationManager/LeanTooluses1e5d9f1

    A "code intepreter" for Lean

  7. project-numina/libusesf1ed94c

    Solving Competition Geometry Problems in Lean

  8. FredRaj3/SemicircleLawuses1e5d9f1

    Formalization of Wigner's Semicircle Law in Lean

  9. ufmg-smite/smtusesa12f0ef

    Tactics for discharging Lean goals into SMT solvers.

  10. verse-lab/veiluses2c088e7

    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.