| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/lib/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 18.9.2025 mit Größe 36 kB |
|
SSL universes.vSprache: Coq |
|||||||||||||||
|
Definition Type2 := Type. Definition Type1 : Type2 := Type. Fail Definition Inconsistency : Type1 := Type2.
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-04-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26