Giters

coq-io / website

The website of Coq.io.

Home Page:http://coq.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Website

The website of Coq.io.

make
make watch
make serve

About

The website of Coq.io.

http://coq.io/

License:MIT License

Languages

Language:HTML 98.1%Language:Ruby 1.5%Language:Makefile 0.5%