Building Barista: Formal Verification and TLA+

(read.thecoder.cafe)

3 points | by 0xKelsey 4 hours ago ago