- Add documentation for specgen along with proper math rendering - Adjust the heading size, capitalization of various READMEs. - Add backend test README to the doc - Rename the CI related tests to have prefix "CI:"
- Add documentation for specgen along with proper math rendering - Adjust the heading size, capitalization of various READMEs. - Add backend test README to the doc - Rename the CI related tests to have prefix "CI:"