Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen gallina komutudur.
Program:
ADI
gallina - özellikleri Coq yerel dosyalarından çıkarır
SİNOPSİS
tavuk [ - ] [ -stdout ] [ -yorum yok ] dosya ...
TANIM
tavuk Coq dosyalarını argüman olarak alır ve ilgili spesifikasyon dosyalarını oluşturur.
Coq dosyası foo.v şartname dosyasına yön verir foo.g. '.g' soneki duruyor
Gallina için.
Bu amaçla, gallina bir "Teorem", "Lemma", "Gerçek" izleyen tüm komutları kaldırır,
"İptal", "Kaydet", "Qed" komutuna ulaşana kadar "Açıklama" veya "Hedef" ifadesi,
"Tanımlandı." veya "Kanıt <...>.". Ayrıca her "İpucu", "Sözdizimi", "Hemen" veya
"Şeffaf" komutu.
.v son eki olmayan dosyalar yok sayılır.
SEÇENEKLER
-stdout
Sonucu standart çıktıya yazdırır.
- Standart girişte Coq kaynağı alınır. Sonuç standart çıktıya yazdırılır.
-yorum yok
*.g dosyasındaki yorumlar kaldırılır.
NOTLAR
İç içe yorumlar doğru şekilde işlenir. Özellikle her komut "Kaydet". veya "İptal". içinde
bir yorum dikkate alınmaz.
onworks.net hizmetlerini kullanarak gallina'yı çevrimiçi kullanın
