Let them eat (mun)cake!
This month's Trustworthy Tuesday is all about cake: Albert Rizaldi present muncake.
Albert Rizaldi presents his talk "Muncake: a proof-producing translator for checking hardware bisimulation" at the next Trustworthy Tuesday session on June 23rd.