F* F (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes po ...