bwignall / certainty-by-construction Goto Github PK
View Code? Open in Web Editor NEWThis project forked from isovector/certainty-by-construction
Source material for Certainty by Construction
Home Page: https://leanpub.com/certainty-by-construction/