José A. Alonso on Nostr: Software verification with Isabelle/HOL. ~ Peter Höfner. #ITP #IsabelleHOL
Software verification with Isabelle/HOL. ~ Peter Höfner. https://comp.anu.edu.au/courses/comp4011-itp/lectures/comp4011_slides.pdf #ITP #IsabelleHOL
José A. Alonso /
npub1pm…nv8pw
2024-08-15 12:38:56
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-15 12:38:56Event JSON
{
"id": "4e10436b5d3c189f7ec5778264d938964b73fe50d0685f2ade6ab32fdad264c4",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723725536,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112966076788392594",
"activitypub"
]
],
"content": "Software verification with Isabelle/HOL. ~ Peter Höfner. https://comp.anu.edu.au/courses/comp4011-itp/lectures/comp4011_slides.pdf #ITP #IsabelleHOL",
"sig": "c7f96a2ee2c648dc7c9a32c2994f3d5fdebdd2fd6b11690c3792865c0a08b055191b369eb4728f2f820fa5efd798b4a0672c6ed182b71a5e77f3b798828e9640"
}