José A. Alonso on Nostr: Taller de Lean 4. Enric Cosme, Mario Vago. #ITP #LeanProver #Lean4
Published at
2024-08-14 15:22:07Event JSON
{
"id": "994440019199b5528321af6ffb573413671a89bb75cda553fb958d07ad7229d2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723648927,
"kind": 1,
"tags": [
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112961056090717604",
"activitypub"
]
],
"content": "Taller de Lean 4. Enric Cosme, Mario Vago. https://www.uv.es/coslloen/Lean4.html #ITP #LeanProver #Lean4",
"sig": "2d2857c0adeea9225eff55542497bc947106f567f55d5ed9405d7c0f5be6778bfa1ab769c9d5568b71cee35f2885be0882af0474930ef6eeeba671f8b43fff06"
}
