Displaying 1-20 of 160 packages depending on leanprover-community/proofwidgets
Sort by
  1. lindy-labs/aegisusesv0.0.39

    Verify Cairo contracts in Lean 4
  2. FR-vdash-bot/algorithmusesv0.0.48

    Verified efficient algorithms in Lean4.
  3. jsm28/AMusesv0.0.46

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  4. dwrensha/animateusesv0.0.47

    tool for turning Lean proofs into Blender animations
  5. FormalizedFormalLogic/arithmetizationusesv0.0.48

    Formalization of Arithmetization of Mathematics/Metamathematics
  6. mseri/BETusesv0.0.43

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  7. fpvandoorn/bonnAnalysisusesv0.0.39

    repository for the collaborative formalization seminar in Analysis in Bonn
  8. jaalonso/Calculemus2usesv0.0.48

    Proof exercises in Lean4 and Isabelle/HOL
  9. jaalonso/Calculemus2_esusesv0.0.48

    Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.
  10. fpvandoorn/carlesonusesv0.0.46

    A formalized proof of Carleson's theorem in Lean
  11. knowsys/certifyingDatalogusesv0.0.41

    A certified checker for Datalog entailments, written in Lean
  12. YaelDillies/ChandraFurstLiptonusesv0.0.42

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  13. dwrensha/Chessusesv0.0.47

    Chess in Lean 4
  14. anlucia/chromatic_polynomialusesv0.0.41

    Chromatic polynomial in Lean4
  15. RemyDegenne/cltusesv0.0.42

    Central limit theorem in Lean
  16. GasStationManager/CodeProofTheArenausesv0.0.46

    Lean coding problem solving challenge website with proof verification
  17. morganfshirley/CommCompusesv0.0.42

    Formalization of communication complexity in Lean