leanproversubverso

Displaying 1-18 of 18 packages depending on leanprover/subverso
Sort by

  1. teorth/Analysisuses52b9dfb

    A Lean companion to Analysis I

  2. mattrobball/BridgelandStabilityusesce893b9

  3. RemyDegenne/BrownianMotionuses52b9dfb

    Construction of a Brownian Motion in Lean

  4. leanprover-cookbook/Cookbookuses4539e60

    A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!

  5. lexzaiello/Dccusesce893b9

    The dependently-typed combinator calculus (DCC).

  6. kim-em/Hexusesce893b9

    Verified computational algebra in Lean 4 — polynomial factoring, LLL, and friends

  7. mariovagomarzal/HigherCategoryTheoryusesce893b9

    A formal verification project based on the work by Enric Cosme Llópez on "Higher-order categories".

  8. LeanMachineLearning/LeanMachineLearninguses52b9dfb

    The Lean Machine Learning Library

  9. alok/LeanPlotuseseb77622

    Interactive React-powered charting library for Lean 4 in VS Code's infoview

  10. pandaman64/LeanToDouses1e55697

  11. lean-phys-community/Notesuses313043e

    Notes in PhysLean

  12. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  13. weiran-sun/PDEuses4539e60

    PDE Lean formalization

  14. leanprover/versousesa86770a

    Lean documentation authoring tool

  15. leanprover/verso-manualusesce893b9

    The Lean reference manual

  16. lean-ja/verso-manualuses6e2fe67

    「The Lean Language Reference」の日本語訳（作業中）

  17. leanprover/verso-slidesusesa86770a

  18. leanprover/versowebcomponentsusesce893b9

    A collection of reusable components from the Lean website designed build related sites with the same look and feel.