Hacker News new | ask | show | jobs
Verso is a platform for writing documents, books, course materials, and websites (verso.lean-lang.org)
3 points by Tomte 20 hours ago