Event JSON
{
"id": "e5d93465f685a6cc9ecd54663c7269f96a05b57bce3a3271912c18daf860093e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1769250441,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115949596929004982",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Numina-Lean-agent: An open and general agentic reasoning system for formal mathematics. ~ Junqi Liu et als. https://arxiv.org/abs/2601.14027v1 #ITP #LeanProver #Math",
"sig": "64c50a5922da3df850f609fd33ad9cfb6428627f2677b6183f6c791f81f47d7db44ec971ad2ba8186551efb25b92767bd7f7fa2aa90d23c571debe1f82f196a1"
}
