Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Delphi
/
Agenda 1.1
/
Auslieferung
/ (
Columbo
Version 0.7
©
) Datei vom 4.1.2008 mit Größe 997 B
Quelle next-obligation.v Sprache: unbekannt
(* make sure all proof lines are counted *)
Goal
True.
Next Obligation.
idtac
.
Next Obligation.
idtac
.
Next Obligation.
idtac
.
Qed
.
Messung V0.5 in Prozent
C=94
H=100
G=96
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-06-04]
2026-06-09