A Multi-Paradigm programming language created by Microsoft.
Allows precise functional correctness though type checking programs with SMT Solvers.
A Multi-Paradigm programming language created by Microsoft.
Allows precise functional correctness though type checking programs with SMT Solvers.