Displaying 1-7 of 7 packages depending on leanprover/subverso
Sort by
  1. FormalizedFormalLogic/Foundationuses767f104

    Formalization of Mathematical Logic
  2. alok/LeanPlotusesa3e5c4c

    Interactive React-powered charting library for Lean 4 in VS Code's infoview
  3. HEPLean/Notesuses313043e

    Notes in PhysLean
  4. Beneficial-AI-Foundation/NumpySpecuses79c973b

    numpy -> lean 4 through ai
  5. leanprover/versouses767f104

    Lean documentation authoring tool
  6. leanprover/verso-manualuses767f104

    The Lean reference manual
  7. lean-ja/verso-manualuses6e2fe67

    「The Lean Language Reference」の日本語訳(作業中)