CoqDocs

The docs I wish I had while learning Coq

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
source		source
themes		themes
.gitignore		.gitignore
Makefile		Makefile
Poly.glob		Poly.glob
Poly.v		Poly.v
README.rst		README.rst
bootrst.py		bootrst.py
coqdoc.css		coqdoc.css
make.bat		make.bat
make.py		make.py
out.html		out.html
out.txt		out.txt
pretty.css		pretty.css
pretty.py		pretty.py
pymentized.html		pymentized.html
sm.xml		sm.xml
small.v		small.v

jaredly/coqdocs