F* has an advanced type system with support for dependent types and refinement types. Yet, it runs on the CLR. Source: https://www.fstar-lang.org https://www.

F* has an advanced type system with support for dependent types and refinement types. Yet, it runs on the CLR. Source: https://www.fstar-lang.org https://www.fstar-lang.org