Event JSON
{
"id": "baea47486b803cb960021a0a9a54e5addcb2336e6e5456087f125091eef444e1",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736509198,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113803866820825652",
"activitypub"
]
],
"content": "Teaching \"Foundations of mathematics\" with the LEAN theorem prover (Master's Thesis). https://www.math.uzh.ch/typo3conf/ext/qfq/Classes/Api/download.php?s=678105c4a1633 #ITP #LeanProver #Logic #Math",
"sig": "ef8b0b356fc72f1a02532a2910d0606f25077076cb26d8e9a20a251bd9a1f5979765efc57ae1ce43ae4d74fa498ae2fba7e72106b7f0165ed65a57608567c2c5"
}
