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