leanproververso

Lean documentation authoring tool
Displaying 1-6 of 6 packages depending on leanprover/verso
Sort by

  1. FormalizedFormalLogic/Foundationuses647f4e8

    Formalization of Mathematical Logic

  2. alok/LeanPlotusescdd5637

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

  3. HEPLean/Notesusesv4.19.0

    Notes in PhysLean

  4. Beneficial-AI-Foundation/NumpySpecuses0ce8d97

    numpy -> lean 4 through ai

  5. leanprover/verso-manualusesv4.25.0-rc2

    The Lean reference manual

  6. lean-ja/verso-manualuses7d3a46e

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