Formal specification is done
Closed Feb 4, 2025
100% complete
The Format is represented seperate from website-html-code as markdown file spec.md
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.