MitchellBuckley

MitchellBuckley's Stars

• wei/pull

  🤖 Keep your forks up-to-date via automated PRs

  Language:TypeScript6.4k678

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle518108