Repository Index

63,766 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–1 of 1 · Most stars

Language: F*

FStarLang / FStar

F* 3.1K 269

A Proof-oriented Programming Language

programming-language
verification
dependent-types
smt