From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Python Scripting BasicsCovers Python scripting basics, variable types, arithmetic operations, and running scripts in the terminal.