, The Coq proof assistant

F. A. Plato, Parmenides 149a7-c3. a proof by complete induction? Archive for History of Exact Sciences, vol.55, pp.57-76, 2000.

. Anonymous, Program evaluation research task, Summary report Phase 1 and 2, 1958.

A. Organon, Prior Analytics, p.350

Y. Berthot and P. Castéran, Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004.

F. Blanqui, S. Coupet-grimal, W. Delobel, S. Hinderer, and A. Koprowski, CoLoR, a Coq Library on rewriting and termination, Workshop on Termination, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00084835

P. Gochet and P. Gribomont, Logique, méthode pour l'informatique fondamentale. Hermes, 1991. a Formal and Constructive Equivalence

A. B. Kahn, Topological sorting of large networks, Commun. ACM, vol.5, issue.11, pp.558-562, 1962.

D. E. Knuth, The Art of Computer Programming, vol.1, 1973.

D. J. Lasser, Topological ordering of a list of randomly-numbered elements of a network, Commun. ACM, vol.4, issue.4, pp.167-168, 1961.

F. Maurolico, Arithmeticorum libri duo, p.1575

M. P. Jarnagin, Automatic machine methods of testing pert networks for consistency, 1960.

R. P. Nederpelt, J. H. Geuvers, and R. C. De-vrijer, Studies in Logic and the Foundations of Mathematics. North-Holland, vol.133, 1994.

G. Peano, Arithmetices principia, nova methodo exposita, 1889.

V. Pratt, Origins of the calculus of binary relations, Logic in Computer Science, 1992.

J. P. Seldin and J. R. Hindley, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 1980.

E. Szpilrajn, Sur l'extension de l'ordre partiel, Fund. Math, 1930.

A. S. Troelstra and D. Van-dalen, Constructivism in mathematics. An introduction, vol.1, 1988.

. John-von-neumann, Zur Einfürung der transfiniten Zahlen, Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Franscisco-Josephinae Section Scientiarum Mathematicarum, vol.1, pp.199-208, 1923.

A. Whitehead and B. Russell, Principia Mathematica. Cambridge Mathematical Library, 1910.