Website

The website of Coq.io.

make
make watch
make serve

Name		Name	Last commit message	Last commit date
Latest commit History 47 Commits
output		output
templates		templates
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
documentation.html.erb		documentation.html.erb
examples.html.erb		examples.html.erb
getting_started.html.erb		getting_started.html.erb
index.html.erb		index.html.erb
make.rb		make.rb

Navigation Menu