EnglishFrenchGermanItalianPortugueseRussianSpanish

gallina - Online in de cloud

OnWorks favicon

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

Dit is de opdracht gallina die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

PROGRAMMA:

NAAM


gallina - extraheert de specificatie uit Coq-bestanden in de lokale taal

KORTE INHOUD


kip [ - ] [ -standaard ] [ -Geen reacties ] filet ...

PRODUCTBESCHRIJVING


kip neemt Coq-bestanden als argumenten en bouwt de overeenkomstige specificatiebestanden.
Het Coq-bestand foo.v geeft bearth aan het specificatiebestand foo.g. Het achtervoegsel '.g' blijft staan
voor Gallina.

Voor dat doel verwijdert Gallina alle commando's die volgen op een "Stelling", "Lemma", "Feit",
"Opmerking" of "Doel"-instructie totdat het een commando bereikt "Abort.", "Save.", "Qed.",
"Bepaald." of "Bewijs <...>.". Het verwijdert ook elke "Hint", "Syntax", "Immediate" of
Commando "Transparant".

Bestanden zonder het achtervoegsel .v worden genegeerd.

OPTIES


-standaard
Drukt het resultaat af op standaarduitvoer.

- Coq-bron wordt genomen op standaardinvoer. Het resultaat wordt afgedrukt op standaarduitvoer.

-Geen reacties
Opmerkingen worden verwijderd in het *.g-bestand.

OPMERKINGEN


Geneste opmerkingen worden correct verwerkt. In het bijzonder elk commando "Opslaan". of "Afbreken." in
een opmerking wordt niet in aanmerking genomen.

Gebruik gallina online met behulp van onworks.net-services



Nieuwste Linux & Windows online programma's