No results found

proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 182 packages depending on leanprover-community/proofwidgets
Sort by

  1. TristanCacqueray/advent-of-leanusesv0.0.23

  2. lindy-labs/aegisusesv0.0.47

    Verify Cairo contracts in Lean 4

  3. FR-vdash-bot/algorithmusesv0.0.48

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv0.0.53

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  5. dwrensha/animateusesv0.0.48

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationusesv0.0.52-pre2

    Formalization of Arithmetization of Mathematics/Metamathematics

  7. Bergschaf/banach_tarskiusesv0.0.39

  8. mseri/BETusesv0.0.43

    Project for "Machine-Checked Mathematics" at the Lorentz Center

  9. fpvandoorn/bonnAnalysisusesv0.0.39

    repository for the collaborative formalization seminar in Analysis in Bonn

  10. sven-manthe/borel_detusesv0.0.50

  11. jaalonso/Calculemus2usesv0.0.48

    Proof exercises in Lean4 and Isabelle/HOL

  12. jaalonso/Calculemus2_esusesv0.0.48

    Ejercicios de demostración con Lean4 e Isabelle/HOL.

  13. fpvandoorn/carlesonusesv0.0.53

    A formalized proof of Carleson's theorem in Lean

  14. knowsys/certifyingDatalogusesv0.0.52

    A certified checker for Datalog entailments, written in Lean

  15. YaelDillies/ChandraFurstLiptonusesv0.0.52

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  16. dwrensha/Chessusesv0.0.48

    Chess in Lean 4

  17. anlucia/chromatic_polynomialusesv0.0.41

    Chromatic polynomial in Lean4

  18. Verified-zkEVM/Cleanusesv0.0.42

    Lean circuit DSL for AIR

  19. RemyDegenne/cltusesv0.0.53

    Central limit theorem in Lean

  20. GasStationManager/CodeProofTheArenausesv0.0.46

    Lean coding problem solving challenge website with proof verification