@FStarLang Organization
by FStarLang
Use fstar.exe to verify Pulse code and interpret the errors reported
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
Use fstar.exe to verify F* code and interpret the errors reported