1 search result for "author:"Tahina Ramananandro <taramana@microsoft.com>""
Showing 1 - 1
-
fstar
No documentation
Verification system for effectful programsNik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina <taramana@microsoft.com>2025.03.25Apache-2.0Used by 0 other packages27 Mar 2025