快橙加速器官网-快橙vpm-快橙vqn-ios苹果版app手机版安卓PC客户端下载-快橙加速器

F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, or C code. For more information check out: http://www.fstar-lang.org and http://github.com/FStarLang/FStar