No results found

checkdecls

Tiny Lean library to check existence of declarations
Displaying 1-20 of 43 packages depending on PatrickMassot/checkdecls
Sort by

  1. b-mehta/ABCExceptionsuseslean4.18.0

    Exceptions to the ABC conjecture in Lean

  2. Verified-zkEVM/Arklibuseslean4.18.0

    Formally Verified Arguments of Knowledge in Lean

  3. JobPetrovcic/ArtinWedderburnuses11fa569

    A formalized proof of Artin-Wedderburn theorem in Lean4

  4. fpvandoorn/bonnAnalysisuses21a36f3

    repository for the collaborative formalization seminar in Analysis in Bonn

  5. RemyDegenne/BrownianMotionuseslean4.18.0

    Construction of a Brownian Motion in Lean

  6. RikHeurter/BscThesisFormalisationuseslean4.18.0

  7. fpvandoorn/carlesonuseslean4.18.0

    A formalized proof of Carleson's theorem in Lean

  8. YaelDillies/ChandraFurstLiptonuseslean4.18.0

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

  9. RemyDegenne/cltuseslean4.18.0

    Central limit theorem in Lean

  10. Shreyas4991/DGAlgorithmsuseslean4.18.0

    Distributed Graph Algorithms in Lean

  11. teorth/equational_theoriesuseslean4.18.0

    A project to map out the relations between different equational theories of Magmas.

  12. teorth/expdbuseslean4.18.0

    Exponent pair database

  13. kkytola/ExtremeValueProjectuseslean4.18.0

    A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)

  14. ivankobe/FactorizationSystemsuses11fa569

  15. ImperialCollegeLondon/FLTuseslean4.18.0

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  16. leanprover-community/flt-regularuseslean4.18.0

    Fermat's Last Theorem for regular primes

  17. riccardobrasca/flt-regularuseslean4.18.0

    Proof of Kaplanski criterion for being a UFD in Lean4

  18. mo271/FormalBookuses11fa569

    Formalizing "Proofs from THE BOOK"

  19. WuProver/groebneruseslean4.18.0

    Formalization of Gröbner basis theory in Lean4 (WIP)

  20. emilyriehl/InfinityCosmosuseslean4.18.0

    A blueprint for a formalization of infinity-cosmos theory in Lean.