This course of lectures is an introduction to logic and type theory as background material for formal methods.
For the Type Theory segment, I recommend installing Idris.
Using Idris is pleasant, but installation can be painful. On Windows, I suggest using the binary on that page.
If you are using linux, you may find this answer
helpful (i.e., use stack
).