leanprover-communityLeanSearchClient

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

  1. b-mehta/ABCExceptionsuses6c62474

    Exceptions to the ABC conjecture in Lean

  2. YaelDillies/AddCombiusesc5d5b8f

    The (currently unofficial) 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. FormalizedFormalLogic/arithmetizationuses0c169a0

    Formalization of Arithmetization of Mathematics/Metamathematics

  14. Verified-zkEVM/Arklibusesc5d5b8f

    Formally Verified Arguments of Knowledge in Lean

  15. GasStationManager/ArtificialAlgorithmsuses5ce7f0a

    Verified algorithms in Lean, implemented and proved by AIs

  16. JobPetrovcic/ArtinWedderburnusesd7caecc

    A formalized proof of Artin-Wedderburn theorem in Lean4

  17. ctchou/AutomataTheoryuses99657ad

    Automata theory in Lean

  18. eshelyaron/bdduses5ce7f0a

    Binary Decision Diagrams in Lean 4

  19. mseri/BETusesc5d5b8f

    Project for "Machine-Checked Mathematics" at the Lorentz Center

  20. atlas-computing-org/bignumusesc5d5b8f

    port of s2n-bignum to Lean