coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

set up documentation generation

gmalecha opened this issue 8 years ago · comments

Gregory Malecha commented 8 years ago

See #24

Yishuai Li commented 5 years ago

I've managed to deploy documentations automatically: 395fa55
Now it's time to polish the contents.