F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.The post F* – general-purpose, proof-oriented programming language appeared first on LinuxLinks.