| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/pGCL/ (Archive of formal Proofs Version 2026-5©) Datei vom 29.4.2026 mit Größe 321 B |
|
Quelle pGCL.thy Sprache: Isabelle |
|||||||||||||||||||||||||
|
(* * Copyright (C) 2014 NICTA * All rights reserved. *) (* Author: David Cock - David.Cock@nicta.com.au *) theory pGCL imports Algebra Automation Determinism Embedding Expectations Healthiness Induction LoopInduction Loops Misc StructuredReasoning Sublinearity Termination Transformers WellDefined begin end
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-01