No results found

importGraph

Tool to analyse the import structure of lean projects.
Displaying 1-20 of 134 packages depending on leanprover-community/importGraph
Sort by

  1. lindy-labs/aegisuses68b518c

    Verify Cairo contracts in Lean 4

  2. FR-vdash-bot/algorithmuses63a7d4a

    Verified efficient algorithms in Lean4.

  3. jsm28/AMusesfb7841a

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

  4. dwrensha/animateusesv4.11.0

    tool for turning Lean proofs into Blender animations

  5. FormalizedFormalLogic/arithmetizationuses68b518c

    Formalization of Arithmetization of Mathematics/Metamathematics

  6. mseri/BETusesv4.12.0

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

  7. fpvandoorn/bonnAnalysisusesv4.10.0-rc1

    repository for the collaborative formalization seminar in Analysis in Bonn

  8. jaalonso/Calculemus2uses63a7d4a

    Proof exercises in Lean4 and Isabelle/HOL

  9. jaalonso/Calculemus2_esuses63a7d4a

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

  10. fpvandoorn/carlesonusesv4.12.0

    A formalized proof of Carleson's theorem in Lean

  11. knowsys/certifyingDatalogusesv4.11.0

    A certified checker for Datalog entailments, written in Lean

  12. YaelDillies/ChandraFurstLiptonusesfb7841a

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

  13. anlucia/chromatic_polynomialusesv4.11.0-rc1

    Chromatic polynomial in Lean4

  14. RemyDegenne/cltusesfb7841a

    Central limit theorem in Lean

  15. morganfshirley/CommCompusesfb7841a

    Formalization of communication complexity in Lean

  16. dwrensha/compfilesuses63a7d4a

    Catalog Of Math Problems Formalized In Lean

  17. leanprover-community/ConNFusesv4.12.0

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

  18. T-Brick/controlflowusesv4.8.0

    A control flow graph library for Lean

  19. optsuite/convexuses68b518c

  20. atlas-computing-org/coq_lean_translationuses7d051a5