Event JSON
{
"id": "912bccc557a545514b825be103051f4826efbd4b1024f8a7c4568baf61b1bdc5",
"pubkey": "d21cd1857830821310d566c42ec7f5b7ca641c06828a4d55cf469dc1827b81df",
"created_at": 1748639066,
"kind": 1,
"tags": [
[
"t",
"google"
],
[
"t",
"deepmind"
],
[
"t",
"lean"
],
[
"t",
"math"
],
[
"t",
"github"
],
[
"proxy",
"https://mastodon.social/users/firusvg/statuses/114598809878393175",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "#Google #DeepMind just put out a #Lean 4 repo containing collection of formalized statements of conjectures. Contributors needed. https://github.com/google-deepmind/formal-conjectures #math #GitHub",
"sig": "e0a838200f2090881d1e964866d5556bbe202e825337162d4771d1ba9988617ab32805ba51ad717489d44263def21c1c27850f3644dc5e41d1e2218c1c74288a"
}
