Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/ide/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 158 B image not shown  

Quelle  proof-diffs.fake   Sprache: unbekannt

 
ADD { Goal True /\ False /\ True = False. }
ADD { split. }
GOALS
ADD here { split. }
GOALS
PDIFF here
ADD there { auto. }
GOALS
PDIFF there
ADD { Admitted. }

[ Dauer der Verarbeitung: 0.22 Sekunden  (vorverarbeitet)  ]