2 ms·

Here is seL4 proof: https://github.com/seL4/l4v https://github.com/seL4/l4v To quote, "Most proofs in this repository are conducted in the interactive proof as

by sanxiyn 10y ago

Here is seL4 proof: https://github.com/seL4/l4v https://github.com/seL4/l4v To quote, "Most proofs in this repository are conducted in the interactive proof assistant Isabelle/HOL".