index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
credits.html.rst
blob: 0b2b1c6ad16a54f46f3978a725de65e890dde0bc (
plain
)
1
2
3
4
5
6
7
..
_credits:
-------
Credits
-------
..
include
::
credits-contents.rst
