Developer of katydid, gogoprotobuf, goderive, gographviz, erlfmt and lots of other even more embarrassing open source projects. Now I am learning how to prove code is correct using Coq and Lean.
Days
Hours
Minutes
Seconds
sign up
Hear all the news about ScotSoft and keep up to date with what’s going on in the Scottish digital ecosystem