Giters

FStarLang / binaries

Regular binary builds of F* and compatible versions of Z3

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Binaries

Regular binary builds of F* and compatible versions of Z3.

F* hackers: see IMPORTANT.md

About

Regular binary builds of F* and compatible versions of Z3

License:Apache License 2.0

Languages

Language:Shell 100.0%