No results found

proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 204 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.59

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

  5. dwrensha/animateusesv0.0.53

    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. RemyDegenne/BrownianMotionusesv0.0.59

    Construction of a Brownian Motion in Lean

  13. chrisflav/bruhat-titsusesv0.0.57

    A formalisation of the Bruhat-Tits tree in Lean4

  14. jaalonso/Calculemus2usesv0.0.59

    Proof exercises in Lean4 and Isabelle/HOL

  15. jaalonso/Calculemus2_esusesv0.0.48

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

  16. fpvandoorn/carlesonusesv0.0.59

    A formalized proof of Carleson's theorem in Lean

  17. knowsys/certifyingDatalogusesv0.0.52

    A certified checker for Datalog entailments, written in Lean

  18. YaelDillies/ChandraFurstLiptonusesv0.0.57

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

  19. pitmonticone/CHANGEusesv0.0.52-pre

    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.

  20. dwrensha/Chessusesv0.0.48

    Chess in Lean 4