Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen coq_makefile komutudur.
Program:
ADI
coq_makefile - Coq Proof Assistant makefile oluşturucu
SİNOPSİS
coq_makefile [ argümanlar ]
TANIM
coq_makefile Coq kanıtı geliştirmeleri için bir makefile üretecidir.
SEÇENEKLER
-h Size coq_makefile seçeneklerinin tüm listesinin bir tanımını verecektir.
onworks.net hizmetlerini kullanarak coq_makefile çevrimiçi kullanın