No results found

plausiblev0.1.0

Displaying 1-20 of 100 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.18.0-rc1

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

  4. dwrensha/animateusesv4.15.0

    tool for turning Lean proofs into Blender animations

  5. FormalizedFormalLogic/arithmetizationusesv4.17.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  6. sven-manthe/borel_detusesv4.16.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/carlesonusesv4.18.0-rc1

    A formalized proof of Carleson's theorem in Lean

  10. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean

  11. dwrensha/Chessusesv4.15.0

    Chess in Lean 4

  12. RemyDegenne/cltusesv4.17.0-rc1

    Central limit theorem in Lean

  13. GasStationManager/CodeProofTheArenauses42dc02b

    Lean coding problem solving challenge website with proof verification

  14. vihdzp/combinatorial-gamesusesv4.18.0-rc1

    Combinatorial game library in Lean 4

  15. dwrensha/compfilesusesv4.18.0-rc1

    Catalog Of Math Problems Formalized In Lean

  16. Timeroot/computableRealusesv4.17.0-rc1

    computable implementation of real numbers in Lean4

  17. leanprover-community/ConNFusesv4.18.0-rc1

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

  18. VCA-EPFL/dataflow-rewriterusesd1fe662

  19. imbrem/DeBruijnSSAusesv4.15.0-rc1

    A formalization of SSA in Lean 4

  20. Shreyas4991/DGAlgorithmsusesv4.16.0-rc1

    Distributed Graph Algorithms in Lean