Sean Seefried’s blog

Blog posts

• Thu 06 Jan 2022 - Introducing a series of posts on the semantics of C
• Sat 26 Feb 2022 - Proving a more general theorem is often easier
• Thu 03 Feb 2022 - Compositional Correctness

Development log

I’m “showing my work in public” at my development log.