Repository Issues

FStarLang/FStar

A Proof-oriented Programming Language

View on GitHub
Stars
 (3,068 stars)
Forks
 (258 forks)
Indexed issues
 (8 indexed issues)
open beginner issues
 (0 open beginner issues)
Latest indexed
Jul 16, 2026
Last GitHub push
Jul 14, 2026
License
Apache License 2.0
Contributing guide
Contributing guide
Code of conduct
No code of conduct
Dominant language
F*
PR merge metrics
 (PR metrics pending)
Beginner labels
No beginner labels indexed

Issues

8 open indexed issues

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

FStarLang/FStar #2,363 opened Sep 24, 2021 · F* · 3,068 stars

Why recommendedNo comments yet · Has a beginner-friendly label
No comments yetHas a beginner-friendly labelContributing guide available
0 comments0 reactions1 assignee
Open
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1,512 opened Aug 17, 2018 · F* · 3,068 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
1 comment0 reactions0 assignees
Open
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1,082 opened Jun 14, 2017 · F* · 3,068 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
1 comment0 reactions0 assignees
Open
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1,013 opened Apr 26, 2017 · F* · 3,068 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelContributing guide available
0 comments0 reactions0 assignees
Open
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1,007 opened Apr 21, 2017 · F* · 3,068 stars

Why recommendedHas a beginner-friendly label · Contributing guide available
Has a beginner-friendly labelContributing guide available
3 comments0 reactions1 assignee
Open
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 opened Apr 13, 2017 · F* · 3,068 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelContributing guide available
0 comments0 reactions0 assignees