YakmoijebrilleShaared links2018-11-08T09:03:41+01:00Yakmoijebrillehttp://fabienm.eu/shaarli/http://fabienm.eu/shaarli/ShaarliLessons learned while formally verifying the ZipCPU - Dan Gisselquist - ORConf 2018 - YouTubehttp://fabienm.eu/shaarli/shaare/hXZ_hQ2018-11-08T09:03:41+01:002018-11-08T09:03:41+01:00— Permalink]]>Videos and slides from ORConf 2018 now available!http://fabienm.eu/shaarli/shaare/lFG4fQ2018-11-07T17:15:12+01:002018-11-07T17:15:12+01:00