Displaying 1-20 of 61 packages depending on leanprover-community/plausible
Sort by
  1. FR-vdash-bot/algorithmusesv4.15.0-rc1

    Verified efficient algorithms in Lean4.
  2. jsm28/AMuses42dc02b

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  3. dwrensha/animateuses42dc02b

    tool for turning Lean proofs into Blender animations
  4. FormalizedFormalLogic/arithmetizationuses42dc02b

    Formalization of Arithmetization of Mathematics/Metamathematics
  5. jaalonso/Calculemus2usesv4.15.0-rc1

    Proof exercises in Lean4 and Isabelle/HOL
  6. jaalonso/Calculemus2_esusesv4.15.0-rc1

    Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.
  7. fpvandoorn/carlesonuses42dc02b

    A formalized proof of Carleson's theorem in Lean
  8. dwrensha/Chessuses42dc02b

    Chess in Lean 4
  9. GasStationManager/CodeProofTheArenauses42dc02b

    Lean coding problem solving challenge website with proof verification
  10. dwrensha/compfilesusesv4.15.0-rc1

    Catalog Of Math Problems Formalized In Lean
  11. leanprover-community/ConNFusesv4.15.0-rc1

    A formal consistency proof of Quine's set theory New Foundations
  12. teorth/equational_theoriesuses42dc02b

    A project to map out the relations between different equational theories of Magmas.
  13. MichaelStollBayreuth/EulerProductsuses42dc02b

    An attempt at formalizing facts on Euler products in Lean
  14. teorth/expdbusesv4.15.0-rc1

    Exponent pair database
  15. ImperialCollegeLondon/FLTusesv4.15.0-rc1

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  16. leanprover-community/flt-regularusesv4.15.0-rc1

    Fermat's Last Theorem for regular primes
  17. mo271/FormalBookuses42dc02b

    Formalizing "Proofs from THE BOOK"
  18. FormalizedFormalLogic/foundationuses42dc02b

    Lean4 Logic Formalization