Displaying 1-20 of 70 packages depending on leanprover-community/plausible
Sort by
  1. lindy-labs/aegisuses42dc02b

    Verify Cairo contracts in Lean 4
  2. FR-vdash-bot/algorithmusesv4.15.0-rc1

    Verified efficient algorithms in Lean4.
  3. jsm28/AMusesv4.15.0-rc1

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

    tool for turning Lean proofs into Blender animations
  5. FormalizedFormalLogic/arithmetizationusesv4.15.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics
  6. sven-manthe/borel_detusesv4.15.0-rc1

  7. jaalonso/Calculemus2usesv4.15.0-rc1

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

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

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

    Chess in Lean 4
  11. GasStationManager/CodeProofTheArenauses42dc02b

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

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

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

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

    An attempt at formalizing facts on Euler products in Lean
  16. gsierra99/ExFormMathL4usesv4.15.0-rc1

  17. teorth/expdbusesv4.15.0-rc1

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

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

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

    Formalizing "Proofs from THE BOOK"