leanproversubverso

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

  1. teorth/Analysisuses52b9dfb

    A Lean companion to Analysis I

  2. powdr-labs/apc-optimizeruses52b9dfb

  3. mattrobball/BridgelandStabilityusesce893b9

  4. RemyDegenne/BrownianMotionuses52b9dfb

    Construction of a Brownian Motion in Lean

  5. marozols/CliffordProjectuses0bd508e

    Lean formalization of the structure theorem for the single-qudit Clifford group

  6. leanprover-cookbook/Cookbookuses4539e60

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

  7. lexzaiello/Dccusesce893b9

    The dependently-typed combinator calculus (DCC).

  8. kim-em/Hexuses847084e

    Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex

  9. mariovagomarzal/HigherCategoryTheoryusesce893b9

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

  10. LeanMachineLearning/LeanMachineLearninguses3a75ede

    The Lean Machine Learning Library

  11. alok/LeanPlotuses0bd508e

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

  12. pandaman64/LeanToDouses1e55697

  13. formal-applied-math/MathFinuses52b9dfb

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

  14. lean-phys-community/Notesuses313043e

    Notes in PhysLean

  15. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  16. weiran-sun/PDEusesa86770a

    PDE Lean formalization

  17. plclub/SFLusesfda188f

    Development repo for translating Software Foundations to Lean

  18. stat-lib/Statlibusesce893b9

  19. leanprover/versousesfda188f

    Lean documentation authoring tool

  20. leanprover/verso-manualuses847084e

    The Lean reference manual