YC + F* Main Lemma How to install Install F* Specify the location of the folder containing F* in the variable FSTAR_HOME in Makefile Verify $ make -C ToCNF