Il s'agit de la commande coqtop.byte 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.byte - Le bytecode Coq toplevel
SYNOPSIS
coqtop.octet [ Options ] [ filet ]
DESCRIPTION
coqopt.octet est la version bytecode de Coq. Il ne doit pas être appelé directement, mais uniquement par
coq et votre coqc
Utilisez coqtop.byte en ligne en utilisant les services onworks.net
