Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or similar)
Please Login to reply.
No replies yet.
