|
|
|
|
Quelle Proc2.thy
Sprache: unbekannt
|
|
theory Proc2
imports "HOL-SPARK.SPARK"
begin
spark_open \<open>loop_invariant/proc2\<close>
spark_vc procedure_proc2_7
by (simp add: ring_distribs mod_simps)
spark_end
end
[ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
