Event JSON
{
"id": "ea75359a9b8cf5aef78f3bb9c22694d842c85e64c56759c15a20cc3bf492a409",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1770656040,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/116041714262812204",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Formalization of Weyl’s law and its implementation into Lean code. ~ Zhibin Huang. https://escholarship.org/content/qt7d89k0th/qt7d89k0th.pdf #ITP #LeanProver #Math",
"sig": "a43a38be558ac25e9ef6f6690712099870833a29c77ee27c0dfcf876e8a0eec325b588b37c858660de150ff9179e3130263207ceaa511e1e9efd80311b80d5b3"
}
