Coq 8.5 stdlib proof

Dieses Bildschirmfoto enthält entweder keine sichtbaren Bereiche oder Teile einer kopiergeschützten Software, oder aber der Autor hat das Programm unter einer freien Lizenz (welche unter diesem Hinweis aufgeführt sein sollte) veröffentlicht, und folgt damit den Lizenz-Regeln der Wikimedia Commons. Das Bildschirmfoto kann entsprechend der genannten Lizenz frei genutzt werden. Freie Software-Lizenz:

Diese Bibliothek ist freie Software; sie darf weiterverteilt und/oder verändert werden unter der GNU Lesser General Public License, wie sie von der Free Software Foundation veröffentlicht wurde; dazu gelten die Bestimmungen der Version 2.1 oder (nach Wahl) einer späteren Version. Diese Bibliothek wurde in der Hoffnung veröffentlicht, dass sie sich als nützlich erweisen könnte, jedoch ohne Garantie, auch ohne implizierte Garantie der Marktgängigkeit oder der Eignung zu einem bestimmten Zweck. Weitere Einzelheiten in der Version 2.1 und Version 3 der Lesser GNU General Public License. http://www.gnu.org/licenses/lgpl.htmlLGPLGNU Lesser General Public Licensetruetrue

Hinweis: Wenn das Bildschirmfoto eine Arbeit zeigt, die nicht direkt das Resultat des Programmcodes ist, so wie Texte oder Grafiken, muss die Lizenz für diese Arbeit separat benannt werden.