f*
Is this program correct?
loading...
'►' shortcut: Alt+B
samples
hello
about F* - A verification tool for higher-order stateful programs
F* is a new ML-like programming language. It also works as a general-purpose verification tool for higher-order stateful programs. It is based on (and subsumes) two prior projects from MSR: Fine and F7.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct