Hacker News new | ask | show | jobs
by thibaut_barrere 27 days ago
Somehow related is https://www.metanorma.org/ (using Markdown to produce norms-compatible outputs).