GitHub repository: FStarLang/PoP-in-FStar
Primary language: Python
Description: The Proof-oriented Programming in F* Book