Файл:Coq 8.5 stdlibproof.png


Этот снимок экрана либо не содержит частей , подпадающих под действие авторских прав, либо изображений программного обеспечения , защищенного авторским правом , либо автор выпустил его по свободной лицензии (что должно быть указано под этим уведомлением) и, таким образом, соответствует рекомендациям по лицензированию снимков экрана Wikimedia Commons. Вы можете использовать его свободно в соответствии с его конкретной лицензией.Лицензия на бесплатное программное обеспечение:

Примечание: если на скриншоте изображено какое-либо произведение, не являющееся прямым результатом самого кода программы, например текст или графика, не входящие в состав программы, то лицензия на такое произведение должна быть указана отдельно.

Этот файл содержит дополнительную информацию, вероятно, добавленную с цифровой камеры или сканера, использованных для его создания или оцифровки.

Если файл был изменен по сравнению с исходным состоянием, некоторые детали могут не полностью отражать измененный файл.