leanprover-communityauto

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

  1. leanprover-community/Duperusesv4.30.0-hammer

  2. GasStationManager/FormalizeWithTestuses5367bcd

    Autoformalization of coding problems, verified with test cases

  3. JOSHCLUNE/Hammerusesv4.30.0-hammer

    LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

  4. hanwenzhu/hammer-demouses1e5d9f1

  5. siddhartha-gadgil/leanaideusesv4.28.0-hammer

    Tools based on AI for helping with Lean 4

  6. GasStationManager/LeanToolusesv4.26.0-hammer

    A "code intepreter" for Lean

  7. midspiral/LemmaScriptuses36d85bf

    verification toolchain for TypeScript (Tech Preview)

  8. project-numina/libusesf1ed94c

    Solving Competition Geometry Problems in Lean

  9. verse-lab/Loomuses36d85bf

    Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

  10. FredRaj3/SemicircleLawusesv4.24.0-hammer

    Formalization of Wigner's Semicircle Law in Lean

  11. ufmg-smite/smtuses5c4433f

    Tactics for discharging Lean goals into SMT solvers.

  12. verse-lab/veiluses36d85bf

    A verifier for automated and interactive proofs about transition systems.

  13. verse-lab/Velvetuses36d85bf

    An auto-active verifier embedded into Lean