Created on July 22, 2025
2025
I am teaching Logic for Computer Science (COL703/COL7203) this semester. More details here.