Displaying 1-20 of 221 packages depending on leanprover-community/mathlib
Sort by
  1. lindy-labs/aegisusesv4.19.0-rc3

    Verify Cairo contracts in Lean 4
  2. FR-vdash-bot/algorithmusesv4.19.0-rc2

    Verified efficient algorithms in Lean4.
  3. jsm28/AMuses01239f4

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  4. dwrensha/animateusesv4.18.0

    tool for turning Lean proofs into Blender animations
  5. FormalizedFormalLogic/arithmetizationusesf05ed67

    Formalization of Arithmetization of Mathematics/Metamathematics
  6. Verified-zkEVM/Arklibusesv4.18.0

    Formally Verified Arguments of Knowledge in Lean
  7. mseri/BETuses0a0178f

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  8. fpvandoorn/bonnAnalysisusesb387c54

    repository for the collaborative formalization seminar in Analysis in Bonn
  9. RemyDegenne/BrownianMotionusesb375a6d

    Construction of a Brownian Motion in Lean
  10. chrisflav/bruhat-titsusesv4.19.0

    A formalisation of the Bruhat-Tits tree in Lean4
  11. jaalonso/Calculemus2useseb25653

    Proof exercises in Lean4 and Isabelle/HOL
  12. jaalonso/Calculemus2_esusesa8f082c

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

    A formalized proof of Carleson's theorem in Lean
  14. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean
  15. YaelDillies/ChandraFurstLiptonusesv4.19.0

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  16. pitmonticone/CHANGEusesc1d4716

    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.