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」の日本語訳(作業中)