No results found

subverso

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

  1. leanprover/versouses844b9a5

    Lean documentation authoring tool

  2. leanprover/verso-manualuses844b9a5

  3. lean-ja/verso-manualuses6e2fe67

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