Cite Bay
How to cite Coq
Mathematics
Coq is an interactive theorem prover.
More informations about Coq can be found at this link.
Content
Citation in APA style
Citation in Vancouver style
Citation in Harvard style
Citation in Bibtex format
@book{bertot2013interactive,
title={Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions},
author={Bertot, Yves and Cast{\'e}ran, Pierre},
year={2013},
publisher={Springer Science \& Business Media}
}
title={Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions},
author={Bertot, Yves and Cast{\'e}ran, Pierre},
year={2013},
publisher={Springer Science \& Business Media}
}
Copy
Do you like it?
Unprofitable
Please consider a donation – we do it in our free time. Do it easily Support.
Join us
Suggestions are always welcome! You can also help us with writing and became a part of the team.
Share science!
Just tell your friends about us.
