Archive • Proof of Keags • Buttondown

Taking "Don't Trust. Verify." Seriously

Introducing btc-verified, a project formalizing Bitcoin's protocol semantics in Lean

Formal Vibefication

Taking agents from crap to cracked.