Claim your product
Is F* yours?
F*fstar-lang.org
Enter your work email at fstar-lang.org. If it's a working inbox, we'll send a 6-digit code.
No inbox at fstar-lang.org? Verify with your website
Log in first, then add a tag to fstar-lang.org. Log in · Create an account
Can't add a file or tag? Verify with DNS
Log in first, then add a DNS record for fstar-lang.org. Log in · Create an account
Can't do any of these? Send the claim anyway with any work email above — a person checks it within one business day.
New here? Get listed for $99 · Problems signing in? contact@itechguides.com