Displaying 1-20 of 204 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/AMusesd6bc0a1

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  4. dwrensha/animateusesv4.17.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. jaalonso/Calculemus2usesdc4f49f

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

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

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

    A certified checker for Datalog entailments, written in Lean
  13. YaelDillies/ChandraFurstLiptonusesv4.18.0

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  14. dwrensha/Chessusesv4.15.0

    Chess in Lean 4
  15. madvorak/chomskyuses018a6a4

    Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
  16. anlucia/chromatic_polynomialuses5ff8d60

    Chromatic polynomial in Lean4
  17. Verified-zkEVM/Cleanusesv4.17.0

    Lean circuit DSL