Event JSON
{
"id": "4e5c600baa2c67551b31e47d5b9d4d410f524da9a44b78a6629f6478a6aa550a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1770653652,
"kind": 1,
"tags": [
[
"t",
"compsci"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/116041557801164298",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "CSLib: The Lean computer science library. ~ Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai. https://arxiv.org/abs/2602.04846v1 #ITP #LeanProver #CompSci",
"sig": "4eb2b97f0176e66ec1066021894589ef99a837dd866993615eb59eb3f44e20a0e13dca25323253cf78ebf0f32b1b9c2355ef64d93434f9d3f517553110de6a08"
}