no coqdoc
Makefile
struct draft
merge proof into struct
extend
bib