▲ 3 pointsVerso is a platform for writing documents, books, course materials, and websitesverso.lean-lang.orgby Tomte·19d ago·0 comments·view on hn ↗