What is Nostr?
thinkmassive
npub18zj…4mlc
2023-09-12 12:47:52

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

Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or similar)
Author Public Key
npub18zjayygmydjnp0zrh4q5hx7q0mg9xvj5jdpqkjpy2t9eeheyt0xs2r4mlc