What; Nederpelt - Type theory and formal proof Why; formal verification is a hobby of mine and and I read the article about how to improve my brain (one of th

What; Nederpelt - Type theory and formal proof Why; formal verification is a hobby of mine and and I read the article about how to improve my brain (one of them being basically kicking it harder with new things to learn) so I decided to plough through the books I left on the shelve because they require 'too much' deep thinking, updating my knowledge (hopefully). So far I would recommend it.