GitHub repository: kant2002/FStarMSBuildSdk
Primary language: F*
Description: F* MSBuild SDK