仓库议题

FStarLang/FStar

A Proof-oriented Programming Language

在 GitHub 查看
Star
 (3,068 star)
Fork
 (258 fork)
已索引议题
 (8 个已索引议题)
个开放新手议题
 (0 个开放新手议题)
最近索引
2026年7月16日
最近 GitHub push
2026年7月14日
许可证
Apache License 2.0
贡献指南
贡献指南
行为准则
没有行为准则
主要语言
F*
PR 合并指标
 (PR 指标待抓取)
新手标签
没有已索引的新手标签

议题

8 个开放索引议题

RSSAtom
开放
Quantifiers uncurrying in resugar is buggy
component/printereasygood first issuekind/bug

FStarLang/FStar #2,363 创建于 2021年9月24日 · F* · 3,068 stars

为什么推荐暂无评论 · 带有初学者友好标签
暂无评论带有初学者友好标签提供贡献指南
0 条评论0 个反应1 负责人
开放
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1,512 创建于 2018年8月17日 · F* · 3,068 stars

为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签提供贡献指南
1 条评论0 个反应0 负责人
开放
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1,013 创建于 2017年4月26日 · F* · 3,068 stars

为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签提供贡献指南
0 条评论0 个反应0 负责人
开放
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1,007 创建于 2017年4月21日 · F* · 3,068 stars

为什么推荐带有初学者友好标签 · 提供贡献指南
带有初学者友好标签提供贡献指南
3 条评论0 个反应1 负责人
开放
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 创建于 2017年4月13日 · F* · 3,068 stars

为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签提供贡献指南
0 条评论0 个反应0 负责人