1 search result for "author:"Tahina Ramananandro <taramana@microsoft.com>""

Showing 1 - 1
  1. fstar
    Documentation
    Verification system for effectful programs
    Nik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina Ramananandro <taramana@microsoft.com>
    2025.12.15
    Apache-2.0
    Used by 0 other packages
    29 Jan 2026