| products/Sources/formale Sprachen/JAVA/Openjdk/src/hotspot/cpu/x86/ (Tomcat Webserver Version 11.0©) Datei vom 13.11.2022 mit Größe 95 kB |
|
Impressum case_TC.vSprache: Coq |
|||||||||||||||
|
From Corelib Require Import ssreflect. From Corelib Require Import ssrbool. Set Printing All. Set Debug Ssreflect. Class Class := { sort : Type ; op : sort -> bool }. Coercion sort : Class >-> Sortclass. Arguments op [_] _. Section Section. Context (A B: Class) (a: A). Goal op a || ~~ op a. by case: op. Abort. End Section.
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25