José A. Alonso on Nostr: Machine-checked proofs and the rise of formal methods in mathematics. ~ Leonardo de ...
Published at
2024-08-16 15:16:59Event JSON
{
"id": "5b74c262255ef11f9c68313ffb3cfdf58233dc8eede5087800f850e0c825aa08",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723821419,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112972360552991328",
"activitypub"
]
],
"content": "Machine-checked proofs and the rise of formal methods in mathematics. ~ Leonardo de Moura. https://www.youtube.com/live/ekYeqvMcaWQ #ITP #LeanProver #Math",
"sig": "174dd4895a5012a80491e7e52a9716574da0523e3b7c6d03457438001eae0ff0e09d172565c09f407fd010541c4c5cdc5a65933a53ae8d0eaac1c3a1f35aba8f"
}
