zenprotocol / FStar

An ML-like language aimed at program verification

https://www.fstar-lang.org/

Geek Repo

Github PK Tool