leanprover-communityLeanSearchClient

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Displaying 1-20 of 322 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. lambdaclass/amo-leanuses3591c3f

    Verified Optimizing Compiler for Cryptographic Primitives

  9. teorth/Analysisusesc5d5b8f

    A Lean companion to Analysis I

  10. dwrensha/animateuses3591c3f

    tool for turning Lean proofs into Blender animations

  11. YaelDillies/APAPusesc5d5b8f

    Formalisation of the Kelley-Meka bound on Roth numbers

  12. mdbrnowski/Apportionmentlibusesc5d5b8f

    Formal verification of apportionment theory.

  13. misaka10987/archimedesuses2ed4ba6

    Don't disturb my circle!

  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. ctchou/AutomataTheoryuses99657ad

    Automata theory in Lean

  19. eshelyaron/bdduses5ce7f0a

    Binary Decision Diagrams in Lean 4

  20. mseri/BETusesc5d5b8f

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