proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 91 packages depending on leanprover-community/proofwidgets
1-20Sort by
Package Name
lindy-labs/aegis
usesv0.0.39
Verify Cairo contracts in Lean 4FR-vdash-bot/algorithm
usesv0.0.42
Verified efficient algorithms in Lean4.jsm28/AM
usesv0.0.42
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)dwrensha/animate
usesv0.0.41
tool for turning Lean proofs into Blender animationsmseri/BET
usesv0.0.42
Project for "Machine-Checked Mathematics" at the Lorentz Centerfpvandoorn/bonnAnalysis
usesv0.0.39
repository for the collaborative formalization seminar in Analysis in Bonnjaalonso/Calculemus2
usesv0.0.42
Proof exercises in Lean4 and Isabelle/HOLjaalonso/Calculemus2_es
usesv0.0.42
Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.fpvandoorn/carleson
usesv0.0.42
A formalized proof of Carleson's theorem in Leanknowsys/certifyingDatalog
usesv0.0.41
A certified checker for Datalog entailments, written in LeanYaelDillies/ChandraFurstLipton
usesv0.0.42
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexityanlucia/chromatic_polynomial
usesv0.0.41
Chromatic polynomial in Lean4RemyDegenne/clt
usesv0.0.42
Central limit theorem in Leanmorganfshirley/CommComp
usesv0.0.42
Formalization of communication complexity in Leandwrensha/compfiles
usesv0.0.42
Catalog Of Math Problems Formalized In Leanleanprover-community/ConNF
usesv0.0.42
A formal consistency proof of Quine's set theory New Foundationsoptsuite/convex
usesv0.0.39
lindy-labs/corelib_verification
usesv0.0.39
Shreyas4991/DGAlgorithms
usesv0.0.40
Distributed Graph Algorithms in Leanmadvorak/duality
usesv0.0.41
Duality theory in linear optimization and its extensions