1 Search Results
fstar
Verification system for effectful programs
Nik Swamy <nswamy@microsoft.com>
Jonathan Protzenko <protz@microsoft.com>
Tahina Ramananandro <taramana@microsoft.com>
2022.01.15
Apache-2.0
Used by 1 other packages