Had a proper look at F-star for the first time (I had seen it before, but had written it off as a M$ project), but it's actually pretty awesome! Best automated verification tool that I've had the pleasure of using!