COQ

Filed: January 13, 2010
Computer software for the writing and the checking of mathematical proofs; retrieval software for the writing and the checking…
Owned by: INRIA (Institut National de Recherche en Informatique et en Automatique)
Serial Number: 79081913