Danila Fedorin d1aa966737 Temporarily hide the Coq documentation article, even from drafts.

2021-11-28 16:46:56 -08:00

..

index.md

Temporarily hide the Coq documentation article, even from drafts.

2021-11-28 16:46:56 -08:00

ltac_grammar.png

Start on a draft for rant about Coq documentation

2021-11-25 00:33:54 -08:00