José A. Alonso on Nostr: Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. ...
Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. https://arxiv.org/abs/2405.19270 #ITP #Lean4 #Math
José A. Alonso /
npub1pma…v8pw
2024-11-19 10:57:52
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-19 10:57:52Event JSON
{
"id": "574c0318b782036dccbb3f002d98a3e18fc9e4fe78ca8cd007cc0dfa760deebe",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1732013872,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113509261121114906",
"activitypub"
]
],
"content": "Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. https://arxiv.org/abs/2405.19270 #ITP #Lean4 #Math",
"sig": "725c3fa62af59328c6eabc07eb20f4937312c27b7c604368a9b2dc2008dc894c1fd78f2a66e152cae5ca253230ac5cb4a38c97e9166b38c1df2faa53d977b040"
}