| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Optics/ (Archive of formal Proofs Version 2026-5©) Datei vom 29.4.2026 mit Größe 453 B |
|
Quelle Dataspace.thySprache: Isabelle |
|||||||||||||||
|
section ‹ Data spaces › theory Dataspace imports Lenses Prisms keywords "dataspace" :: "thy_defn" and "constants" "variables" "channels" begin text ‹ A data space is like a more sophisticated version of a locale-based state allows us to introduce both variables, modelled by lenses, and channels, modelle prisms. It also allows local constants, and assumptions over them. ML_file "Dataspace.ML" end
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-07-01) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27