Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Isabelle
/
Archive-of-Formal-Proofs
/
thys
/
Slicing
/ (
Archive of formal Proofs
Version 2026-5
©
) Datei vom 29.4.2026 mit Größe 205 B
Quelle ROOT Sprache: unbekannt
chapter AFP
session Slicing = Jinja +
options [timeout =
3600
]
directories
"Basic"
"Dynamic"
"JinjaVM"
"StaticIntra"
"While"
theories
Slicing
document_files
"root.tex"
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-07-02]
2026-07-27