leanprover-communityLeanSearchClient

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

  1. b-mehta/ABCExceptionsuses6c62474

    Exceptions to the ABC conjecture in Lean

  2. YaelDillies/AddCombiuses5ce7f0a

    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. astrainfinita/algorithmuses19e5f5c

    Verified efficient algorithms in Lean4.

  6. jsm28/AMusesc5d5b8f

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

  7. lambdaclass/amo-leanuses003ff45

    Verified Optimizing Compiler for Cryptographic Primitives

  8. dwrensha/animateuses3591c3f

    tool for turning Lean proofs into Blender animations

  9. YaelDillies/APAPuses5ce7f0a

    Formalisation of the Kelley-Meka bound on Roth numbers

  10. mdbrnowski/Apportionmentlibusesc5d5b8f

    Formal verification of apportionment theory.

  11. misaka10987/archimedesuses2ed4ba6

    Don't disturb my circle!

  12. FormalizedFormalLogic/arithmetizationuses0c169a0

    Formalization of Arithmetization of Mathematics/Metamathematics

  13. Verified-zkEVM/Arklibuses3591c3f

    Formally Verified Arguments of Knowledge in Lean

  14. GasStationManager/ArtificialAlgorithmsuses3591c3f

    Verified algorithms in Lean, implemented and proved by AIs

  15. JobPetrovcic/ArtinWedderburnusesd7caecc

    A formalized proof of Artin-Wedderburn theorem in Lean4

  16. ctchou/AutomataTheoryuses99657ad

    Automata theory in Lean

  17. eshelyaron/bdduses5ce7f0a

    Binary Decision Diagrams in Lean 4

  18. mseri/BETusesc5d5b8f

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

  19. atlas-computing-org/bignumuses5ce7f0a

    port of s2n-bignum to Lean

  20. lua-vr/BirkhoffErgodicThmuses2507836

    A proof of Pointwise Birkhoff Ergodic Theorem in Lean