Follow

watched "Experiences in a decade of maintaining and extending the seL4 proofs" by June Andronick youtube.com/watch?v=uLCqJLFP7f (~ 1h)

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!