Displaying 1-20 of 219 packages depending on leanprover-community/proofwidgets
Sort by
  1. b-mehta/ABCExceptionsusesv0.0.61

    Exceptions to the ABC conjecture in Lean
  2. lindy-labs/aegisusesv0.0.59

    Verify Cairo contracts in Lean 4
  3. FR-vdash-bot/algorithmusesv0.0.56

    Verified efficient algorithms in Lean4.
  4. jsm28/AMusesv0.0.59

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  5. teorth/analysisusesv0.0.60

    A Lean companion to Analysis I
  6. dwrensha/animateusesv0.0.53

    tool for turning Lean proofs into Blender animations
  7. FormalizedFormalLogic/arithmetizationusesv0.0.52-pre2

    Formalization of Arithmetization of Mathematics/Metamathematics
  8. Verified-zkEVM/Arklibusesv0.0.62

    Formally Verified Arguments of Knowledge in Lean
  9. eshelyaron/bddusesv0.0.59

    Binary Decision Diagrams in Lean 4
  10. mseri/BETusesv0.0.43

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  11. estradilua/BirkhoffErgodicThmusesv0.0.59

    A proof of Pointwise Birkhoff Ergodic Theorem in Lean
  12. fpvandoorn/bonnAnalysisusesv0.0.39

    repository for the collaborative formalization seminar in Analysis in Bonn
  13. roos-j/BooleanFunusesv0.0.50

    Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.
  14. RemyDegenne/BrownianMotionusesv0.0.62

    Construction of a Brownian Motion in Lean
  15. chrisflav/bruhat-titsusesv0.0.57

    A formalisation of the Bruhat-Tits tree in Lean4
  16. jaalonso/Calculemus2usesv0.0.59

    Proof exercises in Lean4 and Isabelle/HOL