Event JSON
{
"id": "ad111ea82b4a38f1f9b26cfa25be2ae5ab1c7d4a8d3329789e67b0d68b2e4f1b",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731235828,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"t",
"Calculemus"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113458271252824816",
"activitypub"
]
],
"content": "#Calculemus: Proofs with Lean4 of \"If u(n) tends to a, then 7u(n) tends to 7a\". https://jaalonso.github.io/calculemus/posts/2024/11/10-limit_of_7u #ITP #Lean4 #Math",
"sig": "82f5853698ccd9f96cd0103c42a4fabd4047d25b9019212031d8719c8a813469c5e4135e6143d137bea720f4d3ca6deedf93cf287444c641cb3c2a1bb8619e04"
}
