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