proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 204 packages depending on leanprover-community/proofwidgets
1-20Sort by
Package Name
TristanCacqueray/advent-of-leanuses
v0.0.23
lindy-labs/aegisuses
v0.0.56
Verify Cairo contracts in Lean 4FR-vdash-bot/algorithmuses
v0.0.56
Verified efficient algorithms in Lean4.jsm28/AMuses
v0.0.59
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)dwrensha/animateuses
v0.0.53
tool for turning Lean proofs into Blender animationsFormalizedFormalLogic/arithmetizationuses
v0.0.52-pre2
Formalization of Arithmetization of Mathematics/MetamathematicsVerified-zkEVM/Arklibuses
v0.0.53
Formally Verified Arguments of Knowledge in LeanBergschaf/banach_tarskiuses
v0.0.39
mseri/BETuses
v0.0.43
Project for "Machine-Checked Mathematics" at the Lorentz Centerfpvandoorn/bonnAnalysisuses
v0.0.39
repository for the collaborative formalization seminar in Analysis in Bonnsven-manthe/borel_detuses
v0.0.56
RemyDegenne/BrownianMotionuses
v0.0.59
Construction of a Brownian Motion in Leanchrisflav/bruhat-titsuses
v0.0.57
A formalisation of the Bruhat-Tits tree in Lean4jaalonso/Calculemus2uses
v0.0.59
Proof exercises in Lean4 and Isabelle/HOLjaalonso/Calculemus2_esuses
v0.0.48
Ejercicios de demostración con Lean4 e Isabelle/HOL.fpvandoorn/carlesonuses
v0.0.59
A formalized proof of Carleson's theorem in Leanknowsys/certifyingDataloguses
v0.0.52
A certified checker for Datalog entailments, written in LeanYaelDillies/ChandraFurstLiptonuses
v0.0.57
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexitypitmonticone/CHANGEuses
v0.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.dwrensha/Chessuses
v0.0.48
Chess in Lean 4