leanproversubverso

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

  1. teorth/Analysisuses52b9dfb

    A Lean companion to Analysis I

  2. RemyDegenne/BrownianMotionuses52b9dfb

    Construction of a Brownian Motion in Lean

  3. leanprover-cookbook/Cookbookuses4539e60

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

  4. LeanMachineLearning/LeanMachineLearninguses52b9dfb

    The Lean Machine Learning Library

  5. alok/LeanPlotuseseb77622

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

  6. lean-phys-community/Notesuses313043e

    Notes in PhysLean

  7. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  8. weiran-sun/PDEuses4539e60

    PDE Lean formalization

  9. leanprover/versousesce893b9

    Lean documentation authoring tool

  10. leanprover/verso-manualusesce893b9

    The Lean reference manual

  11. lean-ja/verso-manualuses6e2fe67

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

  12. leanprover/versowebcomponentsusesce893b9

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