//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Proofcraft is a Silver Spo0nsor of the #seL4 Summit – thank you Proofcraft! sel4.discourse.group/t/thank-you-...
2mo
The seL4 Foundation thanks Proofcraft, silver sponsor of the seL4 Summit 2026. Founded by the seL4 verification leaders, Proofcraft offers commercial support and projects in formal verification in ge...
sel4.discourse.group
Thank you Proofcraft, silver sponsor of the seL4 Summit 2026
Gernot Heiser