<Good First Issue />

/

Sign in Sign up

FStarLang/FStar

A Proof-oriented Programming Language

F*Stars 2938Forks 244Watchers 2938Open issues 556License Apache License 2.0

Details

仓库信息

OwnerFStarLang

Homepagehttps://fstar-lang.org

GitHubhttps://github.com/FStarLang/FStar

Last pushed2025-12-14

Last updated2025-12-15

Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--