F*

https://github.com/fstarlang/fstar

F* is a proof-oriented programming language designed for program verification and can extract code...

Tokens:323,887
Snippets:4,414
Trust Score:6.5
License:Apache-2.0
Update:2 months ago
Tokens:
Raw