José A. Alonso on Nostr: Functional algorithms verified in SSReflect. ~ Alex Gryzlov et als. #ITP #Coq ...
Functional algorithms verified in SSReflect. ~ Alex Gryzlov et als. https://github.com/clayrat/fav-ssr/ #ITP #Coq #SSReflect
José A. Alonso /
npub1pm…nv8pw
2024-08-15 16:48:23
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-15 16:48:23Event JSON
{
"id": "e3cdcdfc5fb5e4228f7a3f9557c59973ce6438878a4a436cfb6852064aa63497",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723740503,
"kind": 1,
"tags": [
[
"t",
"ssreflect"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112967057606540299",
"activitypub"
]
],
"content": "Functional algorithms verified in SSReflect. ~ Alex Gryzlov et als. https://github.com/clayrat/fav-ssr/ #ITP #Coq #SSReflect",
"sig": "b4aaf7bbf08d71dd5432577826987e102a55cd8b69dd0ef0c7ada60d89cc28073d13f095e3290ae0fab11102aea01f08ec2c2cf5952e58622c287fe92d279a96"
}