No results found

proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 139 packages depending on leanprover-community/proofwidgets
Sort by

  1. TristanCacqueray/advent-of-leanusesv0.0.23

  2. lindy-labs/aegisusesv0.0.39

    Verify Cairo contracts in Lean 4

  3. FR-vdash-bot/algorithmusesv0.0.42

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv0.0.42

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

  5. dwrensha/animateusesv0.0.41

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationusesv0.0.39

    Formalization of Arithmetization of Mathematics/Metamathematics

  7. mseri/BETusesv0.0.43

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

  8. fpvandoorn/bonnAnalysisusesv0.0.39

    repository for the collaborative formalization seminar in Analysis in Bonn

  9. jaalonso/Calculemus2usesv0.0.43-pre

    Proof exercises in Lean4 and Isabelle/HOL

  10. jaalonso/Calculemus2_esusesv0.0.43-pre

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

  11. fpvandoorn/carlesonusesv0.0.42

    A formalized proof of Carleson's theorem in Lean

  12. knowsys/certifyingDatalogusesv0.0.41

    A certified checker for Datalog entailments, written in Lean

  13. YaelDillies/ChandraFurstLiptonusesv0.0.42

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

  14. anlucia/chromatic_polynomialusesv0.0.41

    Chromatic polynomial in Lean4

  15. RemyDegenne/cltusesv0.0.42

    Central limit theorem in Lean

  16. morganfshirley/CommCompusesv0.0.42

    Formalization of communication complexity in Lean

  17. dwrensha/compfilesusesv0.0.43

    Catalog Of Math Problems Formalized In Lean

  18. leanprover-community/ConNFusesv0.0.42

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

  19. T-Brick/controlflowusesv0.0.36

    A control flow graph library for Lean

  20. optsuite/convexusesv0.0.39