Przejdź do zawartości

Plik:Coq 8.5 stdlib proof.png

Treść strony nie jest dostępna w innych językach.
Ten plik jest umieszczony w Wikimedia Commons
Z Wikipedii, wolnej encyklopedii

Rozmiar pierwotny(1280 × 800 pikseli, rozmiar pliku: 94 KB, typ MIME: image/png)

Opis
English: A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while the top right pane indicates the current state of the proof – the goals to be proved, currently focused goal and hypotheses in context. The opened file is part of the standard library of mathematical theories of the software.
Data
Źródło Own work (Matěj Grabovský)
Autor INRIA
Licencja
(Ponowne użycie tego pliku)

Ten zrzut ekranu nie zawiera żadnych widocznych części programów chronionych prawami autorskimi lub jego producent udostępnił go na wolnej licencji (która powinna zostać podana na dole tego komunikatu). Możesz używać tego pliku zgodnie z założeniami odpowiedniej licencji. Wolna licencja oprogramowania:

GNU head Ta biblioteka jest wolnym oprogramowaniem; możesz ją dystrybuować oraz zmieniać zgodnie z warunkami Mniejszej Powszechnej Licencji Publicznej GNU opublikowanej przez Fundację Wolnego Oprogramowania; w wersji 2.1 tej licencji lub (według Twojego wyboru) dowolnej późniejszej. Ta biblioteka rozpowszechniana jest z nadzieją, że będzie użyteczna, ale bez żadnej gwarancji; bez żadnej gwarancji przydatności handlowej lub przydatności do określonego celu. Zobacz wersję 2.1 oraz wersję 3 Mniejszej Powszechnej Licencji Publiczne GNU w celu uzyskania dalszych informacji.

Uwaga: Jeżeli zrzut pokazuje dowolną pracę, która nie jest bezpośrednim wynikiem działania samego programu, jak tekst czy grafiki nie będące częścią programu, to licencja dla tych prac musi być podana osobno.


Podpisy

Dodaj jednolinijkowe objaśnienie tego, co ten plik pokazuje

Obiekty przedstawione na tym zdjęciu

przedstawia

image/png

0508176065a4906432eba01bf7fec50584dc70ad

96 372 bajt

800 piksel

1280 piksel

Historia pliku

Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.

Data i czasMiniaturaWymiaryUżytkownikOpis
aktualny00:23, 17 lut 2016Miniatura wersji z 00:23, 17 lut 20161280 × 800 (94 KB)Matěj Grabovský{{Information | Description = {{en|A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while...

Globalne wykorzystanie pliku

Ten plik jest wykorzystywany także w innych projektach wiki:

Metadane