José A. Alonso on Nostr: Vérification de bout en bout d’une fonction de bibliothèque mathématique. ~ Paul ...
Published at
2025-01-03 08:14:14 UTCEvent JSON
{
"id": "3a7ef9c9f4b1ddc72adcc72e8fd8b4ebeddfe5b7c758548e84b2e68963f34bea",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1735892054,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113763421681713860",
"activitypub"
]
],
"content": "Vérification de bout en bout d’une fonction de bibliothèque mathématique. ~ Paul Geneau de Lamarlière. https://inria.hal.science/hal-04859533/document #ITP #Coq #Rocq #Math",
"sig": "73307257c6634f7657ca259853aae3e9c6f0b3ff332ebe433e7fcd119468a1b7b40a5f8d15a2409149d7e61d0f75203acd5d3aaaaaa2f4249f90f7bb83f66a2c"
}
