Under the hood

In this part of the book, we’ll look at some of the inner workings of F*, things that you will eventually need to know to become an expert user of the system. We’ll cover F*’s SMT encoding, its two normalization engines, its plugin framework, and other topics.