FStar
A Proof-oriented Programming Language
- ATK
- 2241
- DEF
- 4096
Common
FStarLang/FStar
Common · Base · GenesisA Proof-oriented Programming Language
Attack2,241
Defense4,096
Drag the card to turn it. Use the flip button to see the back.
Open card page