No results found

verso

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

  1. HEPLean/Notesusesv4.19.0

    Notes in PhysLean

  2. leanprover/verso-manualusesv4.20.0-rc2

    The Lean reference manual

  3. lean-ja/verso-manualuses7d3a46e

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