No results found

subverso

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

  1. leanprover/versouses6f1dbb3

    Lean documentation authoring tool

  2. leanprover/verso-manualuses6f1dbb3

    The Lean reference manual

  3. lean-ja/verso-manualuses6e2fe67

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