Verso is a platform for writing documents, books, course materials, and websites
By Tomte · 2026-07-28 · 1 points · 0 comments
https://verso.lean-lang.org/
By Tomte · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews