Displaying 1-5 of 5 packages depending on leanprover/subverso
Sort by
  1. alok/LeanPlotusesa3e5c4c

  2. HEPLean/Notesuses313043e

    Notes in PhysLean
  3. leanprover/versousesa3e5c4c

    Lean documentation authoring tool
  4. leanprover/verso-manualusesa3e5c4c

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

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