leanproversubverso

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

  1. alok/LeanPlotusesa3e5c4c

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

  2. HEPLean/Notesuses313043e

    Notes in PhysLean

  3. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai

  4. leanprover/versouses0d0b1d3

    Lean documentation authoring tool

  5. leanprover/verso-manualuses597aa7f

    The Lean reference manual

  6. lean-ja/verso-manualuses6e2fe67

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