la-l4v

seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/