FStarLang verified
Building open-source Claude skills. 1 skills with 2,980 total stars.
Contributed
1
Total Stars
3k
Total Forks
250
Avg Stars
2980
Showing 1 skills
smtprofiling
star 3k
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
tools debugging
3 months ago