leanproversubverso

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

  1. RemyDegenne/BrownianMotionuseseb77622

    Construction of a Brownian Motion in Lean

  2. Beneficial-AI-Foundation/FloatSpecuseseb77622

    Formally Verified Float Implementation with lean4

  3. FormalizedFormalLogic/Foundationuses57f4e6c

    Formalization of Mathematical Logic

  4. alok/LeanPlotuses519b262

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

  5. HEPLean/Notesuses313043e

    Notes in PhysLean

  6. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  7. leanprover/versouseseb77622

    Lean documentation authoring tool

  8. leanprover/verso-manualuseseb77622

    The Lean reference manual

  9. lean-ja/verso-manualuses6e2fe67

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