José A. Alonso on Nostr: Coinductive proofs for temporal hyperliveness. ~ Arthur Correnson, Bernd Finkbeiner. ...
Published at
2025-01-13 07:29:14Event JSON
{
"id": "4fb5678fa7a56e20770675927fb060364cd325d93a7491089cb77a3052930699",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736753354,
"kind": 1,
"tags": [
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113819867817102244",
"activitypub"
]
],
"content": "Coinductive proofs for temporal hyperliveness. ~ Arthur Correnson, Bernd Finkbeiner. https://dl.acm.org/doi/pdf/10.1145/3704889 #ITP #Coq #Rocq",
"sig": "568e2ad006583a8ad07b1f214a2421fcf37b66646a12286b7d6237760aa86aae1a3726d583fc8afd4f539be1a080c6cdf3a99c415d6897f52ab2b5d57d5058f4"
}
