{{cite web
| title = What mathematicians should know about the Lean Theorem Prover : math
| url = https://www.reddit.com/r/math/comments/1x5dbnk/what_mathematicians_should_know_about_the_lean/
| date = 2026-10-15
| archiveurl = http://archive.today/n585x
| archivedate = 2026-10-15 }}
Newtonsan / TAnOTaTU
npub1kv…28h7w
2026-10-15 13:13:16 UTC
Author Public Key
npub1kvqdkv4tndz22z90rckhyqzddhjqzja3rv58jzpq5yxezzl4mvaqa28h7wSeen on
wss://relay.primal.netPublished at
2026-10-15 13:13:16 UTCEvent JSON
{
"id": "efb3a89f8a71988e3963dc6e68b05c4cade409bc080234264b4e9f5260296699",
"pubkey": "b300db32ab9b44a508af1e2d72004d6de4014bb11b28790820a10d910bf5db3a",
"created_at": 1792069996,
"kind": 1,
"tags": [
[
"r",
"wss://nos.lol/"
],
[
"r",
"wss://relay.primal.net/"
],
[
"r",
"wss://relay.nostr.net/"
],
[
"r",
"wss://nostr.land/"
],
[
"r",
"wss://purplepag.es/"
],
[
"r",
"wss://relay.snort.social/"
],
[
"client",
"Primal Web"
]
],
"content": "{{cite web\n | title = What mathematicians should know about the Lean Theorem Prover : math\n | url = https://www.reddit.com/r/math/comments/1x5dbnk/what_mathematicians_should_know_about_the_lean/\n | date = 2026-10-15\n | archiveurl = http://archive.today/n585x\n | archivedate = 2026-10-15 }}",
"sig": "53c242b88c55e0de7bf936a4c2053e06a8e326800f315699ba186e6f7b8f865caa19a6126914edcd8c08e8a46e84834fc0d51c7131ab9f9fb9874de153ecdf95"
}