リポジトリ

FStarLang のリポジトリ

1 件の対応リポジトリ

索引済み issue があるリポジトリを表示
FStarLang/FStarF*

A Proof-oriented Programming Language

最終コミット 2026年7月14日

 (3,068 stars) (258 forks) (8 件の索引済み issue) (8 件のオープンな good first issue)