No results found

verso-manual

「The Lean Language Reference」の日本語訳（作業中）
Sort by
  1. Git dependency.
    Found on Reservoir.

    verso0929f83

    Lean documentation authoring tool