Tag Archives: mono

FsCheck and co: Testing Excel Financial Functions

[This blog was moved here] Excel Financial Functions library is a .NET library written by Luca Bolognese that provides the full set of financial functions from Excel. It can be used from both F# and C# as well as from other ...

F* Challenge or The Tale of Tails

[This blog was moved here] F* is a verification-oriented programming language developed at Microsoft Research. If you already know F#, or OCaml, or Haskell, or another language from ML family, you’ll find it familiar. Resources F* project home Rise4Fun – try it online/go ...

Z3 Mono Starter

[This blog was moved here] Have you ever thought how exciting verification tools are? How do you prove the correctness of a program? Of course, the green tests bring some confidence... but we all know it's not a proof. Just look at ...