/software-foundations

Working on the exercises from the textbook Software Foundations

Primary LanguageCoq

Software Foundations

Working on the problems in the first part of Software Foundations (Logical Foundations).