No results found

verso

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

  1. leanprover/verso-manualuses2482378

  2. lean-ja/verso-manualuses7d3a46e

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