Giters

nikswamy / rego-fstar

Rego experiments

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

fstar-experiments

FStar experiments

About

Rego experiments

License:MIT License

Languages

Language:F* 97.5%Language:Shell 2.5%