No results found

LeanSearchClient

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

  1. lindy-labs/aegisuses2507836

    Verify Cairo contracts in Lean 4

  2. FR-vdash-bot/algorithmuses8d29bc2

    Verified efficient algorithms in Lean4.

  3. jsm28/AMuses2507836

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

  4. dwrensha/animateuses8d29bc2

    tool for turning Lean proofs into Blender animations

  5. FormalizedFormalLogic/arithmetizationuses0c169a0

    Formalization of Arithmetization of Mathematics/Metamathematics

  6. Verified-zkEVM/Arklibuses8d29bc2

    Formally Verified Arguments of Knowledge in Lean

  7. mseri/BETuses7bedaed

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

  8. sven-manthe/borel_detuses8d29bc2

  9. RemyDegenne/BrownianMotionuses2507836

    Construction of a Brownian Motion in Lean

  10. chrisflav/bruhat-titsuses2507836

    A formalisation of the Bruhat-Tits tree in Lean4

  11. RikHeurter/BscThesisFormalisationuses2507836

  12. jaalonso/Calculemus2uses2507836

    Proof exercises in Lean4 and Isabelle/HOL

  13. jaalonso/Calculemus2_esuses003ff45

    Ejercicios de demostración con Lean4 e Isabelle/HOL.

  14. fpvandoorn/carlesonuses2507836

    A formalized proof of Carleson's theorem in Lean

  15. knowsys/certifyingDataloguses0c169a0

    A certified checker for Datalog entailments, written in Lean

  16. YaelDillies/ChandraFurstLiptonuses2507836

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  17. pitmonticone/CHANGEuses003ff45

    Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.

  18. dwrensha/Chessuses003ff45

    Chess in Lean 4

  19. Verified-zkEVM/Cleanuses0c169a0

    Lean circuit DSL

  20. RemyDegenne/cltuses2507836

    Central limit theorem in Lean