Substitutions, Compositions of Substitutions, Substitutability
Channel: Iulian R.
Date: 2024-02-06

This video, together with the entire "Logic for Computer Science" series, is released under the Creative Commons CC BY license.
The scripts and code snippets from this series are available on GitHub: https://github.com/ZyphenVisuals/lcs_videos

Animations made using Manim Community: https://www.manim.community
Final edit done in DaVinci Resolve: https://www.blackmagicdesign.com/products/davinciresolve