José A. Alonso on Nostr: Building a formal verification framework for smart contracts. ~ Jakob von Raumer. ...
Published at
2025-01-16 09:16:55Event JSON
{
"id": "524dc72b30b4ffb574549eb61aee6848ce8b9ef8a46c13bb9fa456fc910d2ef4",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737019015,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113837278186262916",
"activitypub"
]
],
"content": "Building a formal verification framework for smart contracts. ~ Jakob von Raumer. https://youtu.be/1uBhzXy9UqA #ITP #LeanProver",
"sig": "1bedaeaf48e526b6dd32998f890261bbefba88ae5a2254393f66eea551cf533a0436a7aa14e78f83fe5402ba0f09b24db2a75514fb387f1d84115a5cd56ab456"
}
