proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 160 packages depending on leanprover-community/proofwidgets
1-20Sort by
Package Name
TristanCacqueray/advent-of-leanuses
v0.0.23
lindy-labs/aegisuses
v0.0.39
Verify Cairo contracts in Lean 4FR-vdash-bot/algorithmuses
v0.0.48
Verified efficient algorithms in Lean4.jsm28/AMuses
v0.0.46
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)dwrensha/animateuses
v0.0.47
tool for turning Lean proofs into Blender animationsFormalizedFormalLogic/arithmetizationuses
v0.0.48
Formalization of Arithmetization of Mathematics/MetamathematicsBergschaf/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.46
jaalonso/Calculemus2uses
v0.0.48
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.46
A formalized proof of Carleson's theorem in Leanknowsys/certifyingDataloguses
v0.0.41
A certified checker for Datalog entailments, written in LeanYaelDillies/ChandraFurstLiptonuses
v0.0.42
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexitydwrensha/Chessuses
v0.0.47
Chess in Lean 4anlucia/chromatic_polynomialuses
v0.0.41
Chromatic polynomial in Lean4RemyDegenne/cltuses
v0.0.42
Central limit theorem in LeanGasStationManager/CodeProofTheArenauses
v0.0.46
Lean coding problem solving challenge website with proof verificationmorganfshirley/CommCompuses
v0.0.42
Formalization of communication complexity in Lean