Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Coscoy, Yann"'
Publikováno v:
[Technical Report] RT-0210, INRIA. 1997, pp.63
CTCOQ is a graphical environment to perform proofs in Coq.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e863a78de38ac4d7bb2962dcebdcf80
https://hal.inria.fr/inria-00069961/file/RT-0210.pdf
https://hal.inria.fr/inria-00069961/file/RT-0210.pdf
Publikováno v:
RR-2459, INRIA. 1995
In this paper, we propose a method for presenting formal proofs in an intelligible form. We describe a transducer from proof objects ($\lambda$-terms in the Calculus of Constructions) to pseudo natural language that has been implemented for the Coq s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::e60e9f4cbc8ac2fd827070a303af4bdf
https://inria.hal.science/inria-00074217/file/RR-2459.pdf
https://inria.hal.science/inria-00074217/file/RR-2459.pdf
Autor:
Carbonell, Jaime G., Siekmann, Jörg, Goos, G., Hartmanis, J., Leeuwen, J., Retoré, Christian, Coscoy, Yann
Publikováno v:
Logical Aspects of Computational Linguistics; 1997, p149-167, 19p
