HTML index for CakeML theories
Open
dev experience
medium reward
tooling
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
The HOL build process produces an HTML index in `HOL/help/HOLindex.html`. Would it be possible to have a similar HTML file generated for the CakeML repo? @AndreasLoow suggested that such a feature might be handy for navigating the theories.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.