leanproversubverso

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

  1. RemyDegenne/BrownianMotionuses6998133

    Construction of a Brownian Motion in Lean

  2. leanprover-cookbook/Cookbookuses4539e60

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

  3. Beneficial-AI-Foundation/FloatSpecuseseb77622

    Formally Verified Float Implementation with lean4

  4. alok/LeanPlotuseseb77622

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

  5. lean-phys-community/Notesuses313043e

    Notes in PhysLean

  6. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  7. weiran-sun/PDEuses4539e60

    PDE Lean formalization

  8. leanprover/versouses52b9dfb

    Lean documentation authoring tool

  9. leanprover/verso-manualuses52b9dfb

    The Lean reference manual

  10. lean-ja/verso-manualuses6e2fe67

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

  11. leanprover/versowebcomponentsuses52b9dfb

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