← All repos

leanprover/verso

View on GitHub ↗ ★ 407 Lean

Lean documentation authoring tool

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2024-08-11 · latest 2026-04-13