salle A. Turing CE4
2 décembre 2013 - 14h00
A higher order to first order translation
par Thibault Gauthier de n/a
Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.
Accueil > Verimag > Séminaires
Détails sur le séminaire
salle A. Turing CE4
2 décembre 2013 - 14h00
A higher order to first order translation
par Thibault Gauthier de n/a
Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.
