search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

\cite[chapter]{Coq:manual} are all wrong #78

Closed gares closed 5 years ago

gares commented 5 years ago

since the manual has no more section numbers