markusde (knows how to count) on Nostr: With the sheer number of lemmas I'm pumping out it really does feel like I'm working ...
With the sheer number of lemmas I'm pumping out it really does feel like I'm working in the proof factory
markusde (knows how to count) /
npub16j…6eu95
2024-12-09 18:17:36
Author Public Key
npub16j0rpmuu774j98y53tzpgmzvs2zc6497zwfd9e029fmcj89ad6tqx6eu95Published at
2024-12-09 18:17:36Event JSON
{
"id": "2a138bd9c2ef402b52e6aeb430d09b691291536c27a185a76eddc71b3281661c",
"pubkey": "d49e30ef9cf7ab229c948ac4146c4c82858d54be1392d2e5ea2a77891cbd6e96",
"created_at": 1733768256,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@markusde/113624236471822346",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/markusde/statuses/113624236471822346",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/markusde/statuses/113624236471822346",
"pink.momostr"
],
[
"-"
]
],
"content": "With the sheer number of lemmas I'm pumping out it really does feel like I'm working in the proof factory",
"sig": "b681d9c6672a1ad3cf5c8ccbdd014acfbcaeaff46ded14d47a3538d908f39506406b7ec8b5d9877833760b11f3248bd993a29d7bb2182f369ce8b762ea154e43"
}