José A. Alonso on Nostr: Formalisation of combinatorial optimisation in Isabelle/HOL: Network flows. ~ Thomas ...
Formalisation of combinatorial optimisation in Isabelle/HOL: Network flows. ~ Thomas Ammer.
https://youtu.be/8NijQB2oqKg #ITP #IsabelleHOL #Math
Published at
2025-02-21 10:31:12 UTCEvent JSON
{
"id": "027d6408ffd50ca2f962f324f10796b136a1c1a7316ae62e06d3d632d5eddb53",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1740133872,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114041413467843995",
"activitypub"
]
],
"content": "Formalisation of combinatorial optimisation in Isabelle/HOL: Network flows. ~ Thomas Ammer. https://youtu.be/8NijQB2oqKg #ITP #IsabelleHOL #Math",
"sig": "fbf3ec1a6e4ec605c22cd01e3164610d221d135ef1fd7c59fdea89b2cf787c353a23c6cadee0a1d213acd82c60d1486854a0deec9f80c50eb9d755495690cbaa"
}
