Comment Comment by aleph_minus_one > https://fstar-lang.org/tutorial/FYI: The link to this tutorial is unluckily a little bit obscured on the F* website: Go to> https://fstar-lang.org/index.html#learn (1)and click on the image below the text "You probably want to read it while trying out examples and exercises in your browser by clicking the image below.".In the section of (1) also the PDF version is linked:> https://fstar-lang.org/tutorial/proof-oriented-programming-i... parent aleph_minus_one 3 months ago
FYI: The link to this tutorial is unluckily a little bit obscured on the F* website: Go to
> https://fstar-lang.org/index.html#learn (1)
and click on the image below the text "You probably want to read it while trying out examples and exercises in your browser by clicking the image below.".
In the section of (1) also the PDF version is linked:
> https://fstar-lang.org/tutorial/proof-oriented-programming-i...