Event JSON
{
"id": "a39012a20940c5f7b7a91cc240fc3496ca84a37dfc5f21da1d176909e6440e97",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723222670,
"kind": 1,
"tags": [
[
"p",
"55b93beaf126c92518fdd571c6664fccf9c7d204ee07ffe6d0ed70310770121d",
"wss://relay.mostr.pub"
],
[
"p",
"1dbb2371681c729deecc877d49d777f625bbccb68eaacaf84d7dce88c5ee396e",
"wss://relay.mostr.pub"
],
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112933120915359602",
"activitypub"
]
],
"content": "A tricky lower bound proof. ~ Lawrence Paulson (nostr:npub12kunh6h3ymyj2x8a64cuvej0enuu05syacrlleksa4crzpmszgwsyhyaeg). https://lawrencecpaulson.github.io/2024/08/08/Ln_lower_bound.html #ITP #IsabelleHOL #Math",
"sig": "61257468cb26e033f886cc2e9f5ba881f96f13e5ed742cb4f2d428c3b3877cc1068dde53c83a5db5507335a071ee74d02cc5cc321746f691323b1e5b0362e0bb"
}
