No results found

verso

Lean documentation authoring tool
Displaying 1-2 of 2 packages depending on leanprover/verso
Sort by

  1. leanprover/verso-manualuseslatest

  2. lean-ja/verso-manualusesb4623a7

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