Is this program correct?
'►' shortcut: Alt+B
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 © 2013 Microsoft Corporation -
privacy & cookies
code of conduct