fss18 This is the public repository of my journey with "Foundations of Software Science" at Department of Computer Science, NC State University.