verso
Lean documentation authoring tool
1-2 of 2 packages depending on leanprover/verso
Sort by
Package Name
leanprover/verso-manualuses
c8e26ebThe Lean reference manuallean-ja/verso-manualuses
7d3a46e「The Lean Language Reference」の日本語訳（作業中）
c8e26eb7d3a46e