F*のコツ集 メモとして残しておきます 公式の情報 https://www.fstar-lang.org/tutorial/ https://github.com/FStarLang/FStar/wiki Beginners guide だけでも眺めておくとよい https://github.com/FStarLang/FStar/ のissue 公式ライブラリ ulib 以下のファイルをgrepするとよい