Skip to content

Latest commit

 

History

History
25 lines (19 loc) · 939 Bytes

README.md

File metadata and controls

25 lines (19 loc) · 939 Bytes

Formal Proofs about seL4

This directory contains the formal proofs about seL4, which mostly prove properties about the various seL4 specifications.

Each such proof lives in its own subdirectory: