Event JSON
{
"id": "dc99aad356ffa7619130d7bf884fbfdc5078aabaad781ba53381f60ef0ad12db",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1694917521,
"kind": 1,
"tags": [
[
"t",
"ProofTheory"
],
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/111078114698011042",
"activitypub"
]
],
"content": "I posted a list of corrections to the proof theory book: https://richardzach.org/2021/08/an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs/ #logic #proofTheory\n\nhttps://media.mathstodon.xyz/media_attachments/files/111/078/112/224/327/982/original/c52ecc16e27fc844.png",
"sig": "76708d6c632fae9b412dc8076fc53714da812b456b9fea358103e0fb3b654a165765690e1a7697fb0eed11f08e18ae49d188adfda4cbe4bc2ecc0027c63ad7f0"
}
