Notes

This is where I post the notes/solutions I've made

Here is where you can find my math notes. (That's where most my notes are.) Yes, the site is not organised very well.

CS 719

Topics in Mathematical Foundations of Formal Verifications

Spring 2020-21

HS 200

Environmental Studies

Spring 2019-20

HS 101

Economics

Spring 2019-20

CS 213

Data Structures and Algorithms

Spring 2019-20

CS 228

Logic for CS

Autumn 2019-20