thinkmassive on Nostr: Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or ...