| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Optics/ 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.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-12