José A. Alonso on Nostr: Validation of HOL4's formal floating-point model. ~ Hugo Eidmann. #ITP #HOL4
Published at
2024-08-09 15:42:19Event JSON
{
"id": "bb192cc3bdc3251f94820d7bd8a08affdc055c3c822c38b4e864957fe1fb1c9e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723218139,
"kind": 1,
"tags": [
[
"t",
"hol4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112932823996557626",
"activitypub"
]
],
"content": "Validation of HOL4's formal floating-point model. ~ Hugo Eidmann. https://www.diva-portal.org/smash/get/diva2:1879248/FULLTEXT01.pdf #ITP #HOL4",
"sig": "83f54db24b6bd6df87ed47298044c94afe6aa82f58fd1c7bc74192ef791db71e3eb10dca2e576d577574d6ebc3a1e2c81724707f104644da6f33851d48ec99b5"
}
