Debug F* queries sent to Z3, diagnosing proof instability and performance issues
fstarlang
cli
free
Others in the same category, ranked by how often they are opened.