Displaying 1-20 of 85 packages depending on leanprover-community/LeanSearchClient
Sort by
  1. FR-vdash-bot/algorithmusesd7caecc

    Verified efficient algorithms in Lean4.
  2. jsm28/AMusesd7caecc

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  3. dwrensha/animateusesd7caecc

    tool for turning Lean proofs into Blender animations
  4. FormalizedFormalLogic/arithmetizationusesd7caecc

    Formalization of Arithmetization of Mathematics/Metamathematics
  5. mseri/BETuses7bedaed

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  6. jaalonso/Calculemus2usesd7caecc

    Proof exercises in Lean4 and Isabelle/HOL
  7. jaalonso/Calculemus2_esusesd7caecc

    Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.
  8. fpvandoorn/carlesonusesd7caecc

    A formalized proof of Carleson's theorem in Lean
  9. dwrensha/Chessusesd7caecc

    Chess in Lean 4
  10. RemyDegenne/cltuses2ba60fa

    Central limit theorem in Lean
  11. GasStationManager/CodeProofTheArenausesd7caecc

    Lean coding problem solving challenge website with proof verification
  12. dwrensha/compfilesusesd7caecc

    Catalog Of Math Problems Formalized In Lean
  13. leanprover-community/ConNFusesd7caecc

    A formal consistency proof of Quine's set theory New Foundations
  14. teorth/equational_theoriesusesd7caecc

    A project to map out the relations between different equational theories of Magmas.
  15. MichaelStollBayreuth/EulerProductsusesd7caecc

    An attempt at formalizing facts on Euler products in Lean
  16. teorth/expdbusesd7caecc

    Exponent pair database
  17. ImperialCollegeLondon/FLTusesd7caecc

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  18. leanprover-community/flt-regularusesd7caecc

    Fermat's Last Theorem for regular primes