The Proof-oriented Programming in F* Book
This book now lives inside the F* repo: https://github.com/FStarLang/FStar/tree/master/doc/book/PoP-in-FStar.
This repository was archived by the owner on Apr 16, 2026. It is now read-only.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
The Proof-oriented Programming in F* Book
This book now lives inside the F* repo: https://github.com/FStarLang/FStar/tree/master/doc/book/PoP-in-FStar.