| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/intpic/ (GAP Algebra Version 4.15.1©) Datei vom 30.7.2024 mit Größe 409 B |
|
Quelle LICENSE Sprache: Isabelle |
|||||||||||||||||||||||||
|
The IntPic package is Copyright Centro de Matemática da Universidade do Porto, 2013. IntPic is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. For details, see the file GPL in this package or https://www
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-01