Explore Projects

Discover 1 open source projects

Active filters (1):

Search: program-proof×

Showing 1-1 of 1 projects

FStarLang/FStar

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K

Active

F*

Programming Language

API Frameworks

#dependent-types#smt#theorem-proving

Stay in the loop

Get weekly updates on trending AI coding tools and projects.