Windows | Games | Mobile | Wallpapers


Microsoft F* 0.4 alpha

A Verifying Compiler for ML Programs.


Last Week downloads: 0
Total downloads: 80
  • Last Updated: May 24, 2011
  • License: Freeware Free
  • OS: Windows XP/2000/98
  • Requirements: No special requirements

User reviews

4 out of 5 based on 1 ratings for Microsoft F* 0.4 alpha

For Microsoft F* 0.4 alphaPublisher's description


Microsoft F* is a Development software developed by Microsoft Research. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Microsoft F*:

Brothersoft Editor: A Verifying Compiler for ML Programs.

F* extends core-ML with a type system based on dependent refinements, higher kinds and affine types. It enables verification of higher-order stateful programs with automation via SMT solving.
you can free download Microsoft F* 0.4 alpha now.

For Microsoft F* 0.4 alphaRelated Software


Please be aware that Brothersoft do not supply any crack, patches, serial numbers or keygen for Microsoft F*,and please consult directly with program authors for any problem with Microsoft F*.