EnglishFrenchGermanItalianPortugueseRussianSpanish

gallina - Dalam talian di Awan

OnWorks favicon

Run gallina in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

Ini ialah arahan gallina yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.

JADUAL:

NAMA


gallina - mengekstrak spesifikasi daripada fail vernakular Coq

SINOPSIS


ayam [ - ] [ -stdout ] [ -tiada komen ] fail ...

DESCRIPTION


ayam mengambil fail Coq sebagai hujah dan membina fail spesifikasi yang sepadan.
Fail Coq foo.v memberikan kebenaran kepada fail spesifikasi foo.g. Akhiran '.g' berdiri
untuk Gallina.

Untuk tujuan itu, gallina mengalih keluar semua arahan yang mengikuti "Teorem", "Lemma", "Fakta",
Penyataan "Catatan" atau "Matlamat" sehingga ia mencapai perintah "Batalkan.", "Simpan.", "Qed.",
"Ditakrifkan." atau "Bukti <...>.". Ia juga mengalih keluar setiap "Petunjuk", "Sintaks", "Segera" atau
Perintah "telus".

Fail tanpa akhiran .v diabaikan.

PILIHAN


-stdout
Mencetak hasil pada output standard.

- Sumber Coq diambil pada input standard. Hasilnya dicetak pada output standard.

-tiada komen
Ulasan dialih keluar dalam fail *.g.

NOTA


Komen bersarang dikendalikan dengan betul. Khususnya, setiap arahan "Simpan." atau "Gugurkan." dalam
komen tidak diambil kira.

Gunakan gallina dalam talian menggunakan perkhidmatan onworks.net



Program dalam talian Linux & Windows terkini