Event JSON
{
"id": "11e853eca194beb02bf7fec191adf76578e3935b6239b41ec204399de563f9cb",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1698760317,
"kind": 1,
"tags": [
[
"p",
"3cc31d61f82b6ff89557cf896290593fc8398fb26416faf39257e56be174134f",
"wss://relay.mostr.pub"
],
[
"p",
"f86aefd9037ce9a5700fb239f340500f20e2bfbc36561b96111dc3d550b15eb5",
"wss://relay.mostr.pub"
],
[
"e",
"c848c44ecb9a6a81992ee4b1942a8c32bdc1298c375c9a5c2650bd5a4d12346b",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/111329956197131628",
"activitypub"
]
],
"content": "nostr:npub18np36c0c9dhl392he7yk9yze8lyrnrajvst04uuj2ljkhct5zd8sd667wx makes it easier to state inference rules. I changed the def of formula to the standard one in forall x and I ended up regretting it slightly https://github.com/rzach/forallx-yyc/issues/77",
"sig": "017ff4dd185142fca728fa30a874aaa295bef66cbf09f4fb538e8b9fd6c6c4bb8caef9b074c09377b60e756f1481fa9953ff45897d59658e9445078c89799928"
}
