6 Homework

Each chapter of Logical Foundations and Programming Language Foundations contains associated exercises. Problem sets will typically be some subset of these exercises. For more information on the exercises see:

https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html#lab10.

Due

 

Files

 

Exercises

Sep 3, 2pm

 

Basics.v, Induction.v

 

basic_induction, double_plus, mult_comm, nandb, andb3, factorial, ltb, plus_id_exercise, mult_S_1, andb_true_elim2, zero_nbeq_plus_1, indentity_fn_applied_twice, binary