Hello, software engineer here with growing of interest in learning automated proof systems and the like, and I was wondering what good starting resources are. I've checked out the Software Foundations textbooks but was looking for something that covered the theory in a little more depth. It's my understanding that type theory plays an important role in it but I also can't find many good resources for that. I've also seen the Oregon Programming Language school videos but honestly find it a bit hard to follow with the video quality.