No results found

subverso

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

  1. leanprover/versouses4d2ffae

    Lean documentation authoring tool

  2. leanprover/verso-manualuses2a49413

    The Lean reference manual

  3. lean-ja/verso-manualuses6e2fe67

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