# FStarLang/FStar — RepoVerse

A Proof-oriented Programming Language

URL: https://repoverse.app/zh/cards/18411972

[仓库来源](https://github.com/FStarLang/FStar)

## 卡牌快照

- 版本: Genesis
- 稀有度: common
- 材质: Base
- 攻击力: 2241
- 防御力: 4096
- GitHub stars: 3124
- GitHub forks: 267
- 语言: F\*
- 分类: Programming Languages
- 快照日期: 2026-10-22

这些仓库指标和游戏属性属于注明日期的卡牌快照，不代表软件当前质量的评价。

此页描述仓库对应的卡牌，不包含玩家持有人或单张副本信息。

- [规则](https://repoverse.app/zh/rules.md)
- [探索仓库](https://repoverse.app/zh/explore)