software-foundations My solutions to the Software Foundations Book https://softwarefoundations.cis.upenn.edu/ Volume 1 : Logic Foundations (LF): Chapter name Required Exercises Additional Exercises Basics Completed 1 problem left Induction Completed 1 problem left Lists Completed Completed Poly Completed Completed Tactics Completed all left Logic 1 left some left IndProp many left many left Maps 1 left 1 left ProofObjects completed 2 left (leibniz_2 & ex_ev_Sn) IndPrinciples completed completed Rel completed 2 Imp many many ImpParser completed completed ImpCEvalfun 1 left - Extraction - - Auto - - Volume 3 : Verified Functional Algorithms (VFA): Chapter name Required Exercises Additional Exercises Perm 1 problem left - Sort 1 problem left 4 left