Event JSON
{
"id": "785c49c64801ebfc6e43b26e5f42fbf4c4b1fe1853fcd5211856f8c11a9502fb",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731139932,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"agda"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113451986637775827",
"activitypub"
]
],
"content": "Formalising graph algorithms with coinduction. ~ Donnacha Oisín Kidney, Nicolas Wu. https://doisinkidney.com/pdfs/formalising-graphs-coinduction.pdf #ITP #Agda #Math",
"sig": "d23dd2df9e4ef05cab1d864401c9219643467459e7c268b05cecde1aee59792f80f15e06a8a5114624aaee22bf5169096bd7dfac31ebcec1a57c908fe8d3d373"
}
