Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
