Apr 10, 2023 Scheme C ZFS What I've Learned About Formal Methods In Half a Year Jakob's Personal Webpage