Sebastian Ullrich on Nostr: Mathlib has been fully ported to Lean 4 🐙
Mathlib has been fully ported to Lean 4 🐙
Published at
2023-07-16 07:11:00Event JSON
{
"id": "edf9f80e717e7f6e72f568f3558765aa4e59128e611ded80b539e26e812e89a3",
"pubkey": "5935234f07b968176f3b4173dbe7a62532c819a45d013255daf3a706fee05f0d",
"created_at": 1689491460,
"kind": 1,
"tags": [
[
"mostr",
"https://functional.cafe/users/kha/statuses/110722512373550820"
]
],
"content": "Mathlib has been fully ported to Lean 4 🐙\n\nhttps://functional.cafe/system/media_attachments/files/110/722/506/282/535/401/original/a5cbd12dc6019e94.jpg",
"sig": "44ae4ec386761515bff34bf998f4585db1a51a5cc0d2d02eefb8c827426d21414674a0f1b4ec1e57b5d46028f0b9fb2eb07c50be27860180b3567511fec366ef"
}
