coding (2) combinatorial proofs (1) counting (1) cs70 (1) deep learning (1) functional (3) induction (1) java (1) neural networks (1) oop (1) programming (3) proof (1) proofs (1) python (4) recursion (1) resnet (1) self driving car (2) simulator (1) theory (1) type-systems (1)