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