proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 219 packages depending on leanprover-community/proofwidgets
1-20Sort by
Package Name
b-mehta/ABCExceptionsuses
v0.0.61
Exceptions to the ABC conjecture in LeanTristanCacqueray/advent-of-leanuses
v0.0.23
lindy-labs/aegisuses
v0.0.59
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)teorth/analysisuses
v0.0.60
A Lean companion to Analysis Idwrensha/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.62
Formally Verified Arguments of Knowledge in LeanBergschaf/banach_tarskiuses
v0.0.39
eshelyaron/bdduses
v0.0.59
Binary Decision Diagrams in Lean 4mseri/BETuses
v0.0.43
Project for "Machine-Checked Mathematics" at the Lorentz Centerestradilua/BirkhoffErgodicThmuses
v0.0.59
A proof of Pointwise Birkhoff Ergodic Theorem in Leanfpvandoorn/bonnAnalysisuses
v0.0.39
repository for the collaborative formalization seminar in Analysis in Bonnroos-j/BooleanFunuses
v0.0.50
Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.sven-manthe/borel_detuses
v0.0.56
RemyDegenne/BrownianMotionuses
v0.0.62
Construction of a Brownian Motion in Leanchrisflav/bruhat-titsuses
v0.0.57
A formalisation of the Bruhat-Tits tree in Lean4RikHeurter/BscThesisFormalisationuses
v0.0.56
jaalonso/Calculemus2uses
v0.0.59
Proof exercises in Lean4 and Isabelle/HOL