Il s'agit de la commande coqtop.opt qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
coqtop.opt - Le toplevel Coq en code natif
SYNOPSIS
coqopt.opt [ Options ] [ filet ]
DESCRIPTION
coqopt.opt est la version en code natif de Coq. Il ne doit pas être appelé directement, mais seulement
by coq et coqc
Utilisez coqtop.opt en ligne en utilisant les services onworks.net
