Follow
hatsugai ∈ PRINCIPIA
@hatsugai
Formal methods / SyncStitch - a refinement checker based on Hoare's CSP / Isabelle / Coq / Alloy / Z80 6502 6800 6809 68k / Retro PC / github.com/hatsugai
@hatsugai hasn’t posted
When they do, their posts will show up here.