Displaying 1-20 of 36 packages depending on PatrickMassot/checkdecls
Sort by
  1. Verified-zkEVM/Arklibuseslean4.18.0

    Formally Verified Arguments of Knowledge in Lean
  2. fpvandoorn/bonnAnalysisuses21a36f3

    repository for the collaborative formalization seminar in Analysis in Bonn
  3. RemyDegenne/BrownianMotionuseslean4.18.0

    Construction of a Brownian Motion in Lean
  4. RemyDegenne/BrownianMotionuseslean4.18.0

    Construction of a Brownian Motion in Lean
  5. fpvandoorn/carlesonuseslean4.18.0

    A formalized proof of Carleson's theorem in Lean
  6. YaelDillies/ChandraFurstLiptonuses11fa569

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  7. RemyDegenne/cltuseslean4.18.0

    Central limit theorem in Lean
  8. Shreyas4991/DGAlgorithmsuseslean4.18.0

    Distributed Graph Algorithms in Lean
  9. teorth/equational_theoriesuses8e459c6

    A project to map out the relations between different equational theories of Magmas.
  10. teorth/expdbuseslean4.18.0

    Exponent pair database
  11. kkytola/ExtremeValueProjectuseslean4.18.0

    A project to formalize Fischer-Tippett-Gnedenko theorem (default project of course MS-EV0029)
  12. ImperialCollegeLondon/FLTuseslean4.18.0

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  13. leanprover-community/flt-regularuseslean4.18.0

    Fermat's Last Theorem for regular primes
  14. riccardobrasca/flt-regularuses75d7aea

    Proof of Kaplanski criterion for being a UFD in Lean4
  15. mo271/FormalBookuses11fa569

    Formalizing "Proofs from THE BOOK"
  16. WuProver/groebneruseslean4.18.0

    Formalization of Gröbner basis theory in Lean4 (WIP)
  17. emilyriehl/InfinityCosmosuseslean4.18.0

    A blueprint for a formalization of infinity-cosmos theory in Lean.
  18. acmepjz/Iwasawalibuseslean4.18.0

    Formalization of Iwasawa Theory in LꓱꓯN (tentative)