Use fstar.exe to verify F* code and interpret the errors reported
fstarlang
cli
free
Others in the same category, ranked by how often they are opened.