No results found

plausiblev0.1.0

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

  1. FR-vdash-bot/algorithmusesv4.15.0-rc1

    Verified efficient algorithms in Lean4.

  2. jsm28/AMusesv4.15.0-rc1

    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/arithmetizationusesv4.15.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  5. sven-manthe/borel_detuses42dc02b

  6. jaalonso/Calculemus2usesv4.15.0-rc1

    Proof exercises in Lean4 and Isabelle/HOL

  7. jaalonso/Calculemus2_esusesv4.15.0-rc1

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

  8. fpvandoorn/carlesonuses42dc02b

    A formalized proof of Carleson's theorem in Lean

  9. dwrensha/Chessuses42dc02b

    Chess in Lean 4

  10. GasStationManager/CodeProofTheArenauses42dc02b

    Lean coding problem solving challenge website with proof verification

  11. dwrensha/compfilesusesv4.15.0-rc1

    Catalog Of Math Problems Formalized In Lean

  12. leanprover-community/ConNFusesv4.15.0-rc1

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

  13. teorth/equational_theoriesuses42dc02b

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

  14. MichaelStollBayreuth/EulerProductsuses42dc02b

    An attempt at formalizing facts on Euler products in Lean

  15. gsierra99/ExFormMathL4usesv4.15.0-rc1

  16. teorth/expdbusesv4.15.0-rc1

    Exponent pair database

  17. ImperialCollegeLondon/FLTusesv4.15.0-rc1

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

  18. leanprover-community/flt-regularusesv4.15.0-rc1

    Fermat's Last Theorem for regular primes

  19. mo271/FormalBookuses42dc02b

    Formalizing "Proofs from THE BOOK"

  20. FormalizedFormalLogic/foundationusesv4.15.0-rc1

    Lean4 Logic Formalization