/search-for-unsound-fstar-and-vampire

Looking for unsoundness when using `vampire` as a backend for `fstar`

Primary LanguageSMT

Stargazers

No one’s star this repository yet.