Pages that link to "Item:Q3638251"
From MaRDI portal
The following pages link to Local Theory Specifications in Isabelle/Isar (Q3638251):
Displaying 10 items.
- Reasoning about memory layouts (Q633298) (← links)
- A modular first formalisation of combinatorial design theory (Q2128787) (← links)
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Priority inheritance protocol proved correct (Q2303234) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Three Chapters of Measure Theory in Isabelle/HOL (Q3088003) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- (Q6079227) (← links)
