What we all really need is a formal spec in a real formal language like K or isabelle or whatever is popular now
What the chain says
- Block
- 652 689
- Time
- 2020-09-15T14:45:34Z
- Signer
- 1JQS2GuJbdf9zcbHyz3pTKKBNJ8trp4pWV
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#2782
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1JQS2GuJbdf9zcbHyz3pTKKBNJ8trp4pWV Verified