leanprover-communityLeanSearchClient

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Displaying 1-20 of 343 packages depending on leanprover-community/LeanSearchClient
Sort by

  1. b-mehta/ABCExceptionsuses6c62474

    Exceptions to the ABC conjecture in Lean

  2. leanprover-community/AddCombiusesc5d5b8f

    The sublibrary of Mathlib dedicated to additive combinatorics

  3. lindy-labs/aegisuses2507836

    Verify Cairo contracts in Lean 4

  4. b-mehta/AharoniKormanuses003ff45

    Disproof of the Aharoni–Korman conjecture

  5. Shreyas4991/Algoleanusesc5d5b8f

    Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

  6. astrainfinita/algorithmuses19e5f5c

    Verified efficient algorithms in Lean4.

  7. jsm28/AMusesc5d5b8f

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  8. teorth/Analysisusesc5d5b8f

    A Lean companion to Analysis I

  9. dwrensha/animateuses3591c3f

    tool for turning Lean proofs into Blender animations

  10. YaelDillies/APAPusesc5d5b8f

    Formalisation of the Kelley-Meka bound on Roth numbers

  11. mdbrnowski/Apportionmentlibusesc5d5b8f

    Formal verification of apportionment theory.

  12. misaka10987/archimedesuses2ed4ba6

    Don't disturb my circle!

  13. Vilin97/aristotleuses99657ad

    OpenClaw-style theorem proving

  14. FormalizedFormalLogic/arithmetizationuses0c169a0

    Formalization of Arithmetization of Mathematics/Metamathematics

  15. Verified-zkEVM/Arklibusesc5d5b8f

    Formally Verified Arguments of Knowledge in Lean

  16. GasStationManager/ArtificialAlgorithmsuses5ce7f0a

    Verified algorithms in Lean, implemented and proved by AIs

  17. JobPetrovcic/ArtinWedderburnusesd7caecc

    A formalized proof of Artin-Wedderburn theorem in Lean4

  18. incremental-computing/autoincuses5ce7f0a

  19. ctchou/AutomataTheoryuses99657ad

    Automata theory in Lean

  20. postechsv/bakeryuses2ed4ba6