here you goThings I’ve made, read and saved — shared here.

Archive

9,684 entries: 91 from X, 8,928 from Pinboard, saved 1998 to 2026.

Browse by tag, site, author, folder or language

Tags

Sites

Authors

Folders

Languages

Tags and folders

1 entryproofcraft.systems ×

2021

Proofcraft

proofcraft.systems

It's official, two of my colleagues and I have founded a new company in software verification: Proofcraft!

proofcraft.systemsPinboardPermalink