StartJan 16, 2021Feeling stuck ?Set a 3 minute timer and do your best.Rest for 3 minutes.Wash, rinse, repeat.Previous post: Jul 4, 2017« Analysis of WirenetJan 17, 2021 Next post:On logic, formal verification and decision procedures - Part I »