No results found

plausiblev0.1.0

Displaying 1-20 of 45 packages depending on leanprover-community/plausible
Sort by

  1. FR-vdash-bot/algorithmuses42dc02b

    Verified efficient algorithms in Lean4.

  2. jsm28/AMuses42dc02b

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

  3. jaalonso/Calculemus2uses42dc02b

    Proof exercises in Lean4 and Isabelle/HOL

  4. jaalonso/Calculemus2_esuses42dc02b

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

  5. fpvandoorn/carlesonusesd212dd7

    A formalized proof of Carleson's theorem in Lean

  6. dwrensha/Chessusesd212dd7

    Chess in Lean 4

  7. GasStationManager/CodeProofTheArenauses42dc02b

    Lean coding problem solving challenge website with proof verification

  8. dwrensha/compfilesuses42dc02b

    Catalog Of Math Problems Formalized In Lean

  9. leanprover-community/ConNFuses42dc02b

    A formal consistency proof of Quine's set theory New Foundations

  10. teorth/equational_theoriesuses42dc02b

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

  11. MichaelStollBayreuth/EulerProductsuses42dc02b

    An attempt at formalizing facts on Euler products in Lean

  12. gsierra99/ExFormMathL4uses42dc02b

  13. teorth/expdbuses42dc02b

    Exponent pair database

  14. ImperialCollegeLondon/FLTuses42dc02b

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

  15. leanprover-community/flt-regularuses42dc02b

    Fermat's Last Theorem for regular primes

  16. mo271/FormalBookuses42dc02b

    Formalizing "Proofs from THE BOOK"

  17. FormalizedFormalLogic/foundationuses42dc02b

    Lean4 Logic Formalization

  18. math-xmum/GameTheoryuses42dc02b

  19. PatrickMassot/glimpseOfLeanusesd212dd7

    An introduction to theorem proving in Lean for the impatient.

  20. mortarsanjaya/IMOSLLean4uses42dc02b

    Formalization of IMO shortlist problems in Lean 4