Home > Verimag > Seminars

Seminar details

salle A. Turing CE4
2 December 2013 - 14h00
A higher order to first order translation
by Thibault Gauthier from n/a

Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.

Contact | Site Map | Site powered by SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 4916128

UGA

CNRS

INP Grenoble