diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-09 15:51:15 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-10 19:23:55 +0200 |
| commit | 0e271d68a5bc6f5b8bc9a4ed2b9cf2faf283397e (patch) | |
| tree | 0f77f8f53a767dc184afd129bb3b27c0ac27a425 /doc/sphinx/biblio.bib | |
| parent | faa22df091613de7cb1b91ed7f64e5fed6fae812 (diff) | |
Suggest going to /documentation to see a list of tutorials.
Diffstat (limited to 'doc/sphinx/biblio.bib')
| -rw-r--r-- | doc/sphinx/biblio.bib | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib index 97231c9ec..aeb45611e 100644 --- a/doc/sphinx/biblio.bib +++ b/doc/sphinx/biblio.bib @@ -1201,15 +1201,6 @@ Decomposition}}, note = {\url{https://proofgeneral.github.io/}} } -@Book{CoqArt, - title = {Interactive Theorem Proving and Program Development. - Coq'Art: The Calculus of Inductive Constructions}, - author = {Yves Bertot and Pierre Castéran}, - publisher = {Springer Verlag}, - series = {Texts in Theoretical Computer Science. An EATCS series}, - year = 2004 -} - @InCollection{wadler87, author = {P. Wadler}, title = {Efficient Compilation of Pattern Matching}, |