issues
search
appliedfm
/
vstyle
A style guide for Coq
https://vstyle.readthedocs.io
MIT License
17
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Compatibility with existing guides
#12
intoverflow
opened
2 years ago
3
Linter & formatter
#11
intoverflow
closed
2 years ago
2
Sphinx theme, navigation, and accessibility (a11y)
#10
intoverflow
opened
2 years ago
7
Ensure consistency with "Requirements on the Use of Coq in the Context of Common Criteria Evaluations"
#9
intoverflow
closed
2 years ago
1
Add to Alectryon gallery
#8
intoverflow
opened
2 years ago
0
Front page should indicate which sections are TODO
#7
intoverflow
opened
2 years ago
0
sphinx-sizzle-theme
#6
intoverflow
opened
2 years ago
1
sphinx-press-theme
#5
intoverflow
opened
2 years ago
2
maisie-sphinx-theme
#4
intoverflow
opened
2 years ago
0
Add webhook for readthedocs.io
#3
intoverflow
closed
2 years ago
0
Adopt Sphinx and migrate to readthedocs.io
#2
intoverflow
closed
2 years ago
0
Not yet ready for awesome-guides
#1
intoverflow
opened
2 years ago
0