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