No results found

verso

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

  1. alok/LeanPlotusescdd5637

  2. HEPLean/Notesusesv4.19.0

    Notes in PhysLean

  3. leanprover/verso-manualusescdd5637

    The Lean reference manual

  4. lean-ja/verso-manualuses7d3a46e

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