Repository
https://github.com/Coq-zh/coq
Project Slug
coq-zh
Last Built
5 years, 2 months ago
failed
Maintainers
Home Page
https://github.com/Coq-zh/coq
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/coq-zh/badge/?version=latest
:target: https://coq-zh.readthedocs.io/zh-cn/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[![Documentation Status](https://readthedocs.org/projects/coq-zh/badge/?version=latest)](https://coq-zh.readthedocs.io/zh-cn/latest/?badge=latest)
-
HTML
<a href='https://coq-zh.readthedocs.io/zh-cn/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/coq-zh/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
coq,
dependent-type,
formal-verification,
gallina
Short URLs
coq-zh.readthedocs.io
coq-zh.rtfd.io
Default Version
latest
'latest' Version
origin/master