José A. Alonso on Nostr: An elementary proof of the FMP for Kleene algebra. ~ Tobias Kappé. #ITP #Coq #Math
An elementary proof of the FMP for Kleene algebra. ~ Tobias Kappé. https://arxiv.org/abs/2212.10931 #ITP #Coq #Math
José A. Alonso /
npub1pm…nv8pw
2024-08-13 09:42:14
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-13 09:42:14Event JSON
{
"id": "7bbec68885beea52ceefd6ee8b03969bde36c5e0f7302e671e1f9a0dc8b45d16",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723542134,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112954057312702348",
"activitypub"
]
],
"content": "An elementary proof of the FMP for Kleene algebra. ~ Tobias Kappé. https://arxiv.org/abs/2212.10931 #ITP #Coq #Math",
"sig": "db060fbd4462f8a076dd3a49bcde0f291a09b8bc4579004650d797c47b23c5e5c36cc24cb6cc809288a82e546382599919eb5ca21e950ffe78913c50f004804e"
}