leanproversubverso

Displaying 1-19 of 19 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/LeanMachineLearninguses0bd508e

    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. raphaelrrcoelho/MathFinuses52b9dfb

    Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

  12. lean-phys-community/Notesuses313043e

    Notes in PhysLean

  13. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  14. weiran-sun/PDEusesa86770a

    PDE Lean formalization

  15. leanprover/versouses0bd508e

    Lean documentation authoring tool

  16. leanprover/verso-manualuses0bd508e

    The Lean reference manual

  17. lean-ja/verso-manualuses6e2fe67

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

  18. leanprover/verso-slidesuses0bd508e

  19. leanprover/versowebcomponentsuses0bd508e

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