THEO : an interactive proof development systemReport as inadecuate




THEO : an interactive proof development system - Download this document for free, or read online. Document in PDF available to download.

1 CROAP - Design and Implementation of Programming Tools CRISAM - Inria Sophia Antipolis - Méditerranée

Résumé : Disponible dans les fichiers attachés à ce document.





Author: Joelle Despeyroux -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents