/FStar

A Proof-oriented Programming Language

Primary LanguageF*Apache License 2.0Apache-2.0

Watchers