area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low
仓库指标
- Star
- (3,068 star)
- PR 合并指标
- (PR 指标待抓取)
描述
It would be super useful if F* could report all unused functions/lemmas upon request. This is not totally trivial in the presence of SMTPats, interfaces, friends, etc, but for a start I think it would be enough to report unused symbols under the assumption that all relevant files are presented to F*.
@fournet @s-zanella @dranov