/binaries

Regular binary builds of F* and compatible versions of Z3

Primary LanguageShellApache License 2.0Apache-2.0

Binaries

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

F* hackers: see IMPORTANT.md