No results found

subverso

Displaying 1-4 of 4 packages depending on leanprover/subverso
Sort by

  1. HEPLean/Notesuses313043e

    Notes in PhysLean

  2. leanprover/versousesa3e5c4c

    Lean documentation authoring tool

  3. leanprover/verso-manualusesa3e5c4c

    The Lean reference manual

  4. lean-ja/verso-manualuses6e2fe67

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