Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification
Post by twetch#1487
You should check out the work of Alexander Stepanov.
What the chain says
- Block
- 628 718
- Time
- 2020-04-01T04:01:20Z
- Signer
- 1Jyk8t6Akn3Hem6bTeb4327c9GrYqArPc3
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#1487
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1Jyk8t6Akn3Hem6bTeb4327c9GrYqArPc3 VerifiedReposted by (1)
Replies (1)
will do