Top Related
Oña, Pedro - El Arauco Domado.pdf
Trabajos realizados Tamara oña
110211 Oña
Compiling Coq in Coq - Gregory Malecha | Gregory Malecha...Compiling Coq in Coq Gregory Malecha [email protected] Harvard SEAS January 17, 2013 Gregory Malecha (Harvard SEAS)
Coq Coq Correct! - IRIFCoq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq MATTHIEU SOZEAU, π.r2, Inria Paris, France SIMON BOULIER, Gallinette, Inria Nantes,
Estd ctax dpto
Informe FEM - Práctica 1 (Sixto Oña)
Coq en Coq: Mecaniser la logique d’un assistant´ a la ...