/FStar

Verification system for effectful programs

Primary LanguageF*Apache License 2.0Apache-2.0

Watchers