khieta / FStar

Verification system for effectful programs

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

Geek Repo

Github PK Tool