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 95 packages depending on leanprover-community/LeanSearchClient
Sort by

  1. lindy-labs/aegisusesd7caecc

    Verify Cairo contracts in Lean 4

  2. FR-vdash-bot/algorithmusesd7caecc

    Verified efficient algorithms in Lean4.

  3. jsm28/AMuses003ff45

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

  4. dwrensha/animateuses003ff45

    tool for turning Lean proofs into Blender animations

  5. FormalizedFormalLogic/arithmetizationuses003ff45

    Formalization of Arithmetization of Mathematics/Metamathematics

  6. mseri/BETuses7bedaed

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

  7. sven-manthe/borel_detusesd7caecc

  8. jaalonso/Calculemus2usesd7caecc

    Proof exercises in Lean4 and Isabelle/HOL

  9. jaalonso/Calculemus2_esuses003ff45

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

  10. fpvandoorn/carlesonuses003ff45

    A formalized proof of Carleson's theorem in Lean

  11. knowsys/certifyingDataloguses003ff45

    A certified checker for Datalog entailments, written in Lean

  12. dwrensha/Chessuses003ff45

    Chess in Lean 4

  13. RemyDegenne/cltuses2ba60fa

    Central limit theorem in Lean

  14. GasStationManager/CodeProofTheArenausesd7caecc

    Lean coding problem solving challenge website with proof verification

  15. dwrensha/compfilesuses003ff45

    Catalog Of Math Problems Formalized In Lean

  16. leanprover-community/ConNFuses003ff45

    A formal consistency proof of Quine's set theory New Foundations

  17. imbrem/DeBruijnSSAusesd7caecc

    A formalization of SSA in Lean 4

  18. imbrem/discretionuses003ff45

    Utilities for formalizing programming languages in Lean 4, along with other tidbits

  19. madvorak/dualityuses003ff45

    Duality theory in linear optimization and its extensions

  20. teorth/equational_theoriesusesd7caecc

    A project to map out the relations between different equational theories of Magmas.