| products/Sources/formale Sprachen/C/Linux/arch/x86/boot/startup/ (NIST Cobol Test-Suite ©) Datei vom 24.10.2025 mit Größe 24 kB |
|
Quelle Try.vSprache: Coq |
|||||||||||||||
|
(* To shorten interactive scripts, it is better that Try catches non-existent names in Unfold [cf BZ#263] *) Lemma lem1 : True. try unfold i_dont_exist. trivial. Qed.
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25