1 search result for "author:"Nik Swamy <nswamy@microsoft.com>""
Showing 1 - 1
-
fstar
No documentation
Verification system for effectful programs2025.06.20Apache-2.0Used by 0 other packages20 Jun 2025