No results found

proofwidgets

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

  1. TristanCacqueray/advent-of-leanusesv0.0.23

  2. lindy-labs/aegisusesv0.0.56

    Verify Cairo contracts in Lean 4

  3. FR-vdash-bot/algorithmusesv0.0.56

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv0.0.56

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

  5. dwrensha/animateusesv0.0.52

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationusesv0.0.52-pre2

    Formalization of Arithmetization of Mathematics/Metamathematics

  7. Verified-zkEVM/Arklibusesv0.0.53

    Formally Verified Arguments of Knowledge in Lean

  8. Bergschaf/banach_tarskiusesv0.0.39

  9. mseri/BETusesv0.0.43

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

  10. fpvandoorn/bonnAnalysisusesv0.0.39

    repository for the collaborative formalization seminar in Analysis in Bonn

  11. sven-manthe/borel_detusesv0.0.56

  12. jaalonso/Calculemus2usesv0.0.56

    Proof exercises in Lean4 and Isabelle/HOL

  13. jaalonso/Calculemus2_esusesv0.0.48

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

  14. fpvandoorn/carlesonusesv0.0.56

    A formalized proof of Carleson's theorem in Lean

  15. knowsys/certifyingDatalogusesv0.0.52

    A certified checker for Datalog entailments, written in Lean

  16. YaelDillies/ChandraFurstLiptonusesv0.0.53

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

  17. dwrensha/Chessusesv0.0.48

    Chess in Lean 4

  18. anlucia/chromatic_polynomialusesv0.0.41

    Chromatic polynomial in Lean4

  19. Verified-zkEVM/Cleanusesv0.0.52

    Lean circuit DSL

  20. RemyDegenne/cltusesv0.0.56

    Central limit theorem in Lean