GitHub repository: FStarLang/steel
Primary language: F*
Description: The Steel separation logic library for F*