This repository was archived by the owner on Aug 12, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
weekly		weekly
z3-tested		z3-tested
IMPORTANT.md		IMPORTANT.md
LICENSE		LICENSE
README.md		README.md
get_latest_z3.sh		get_latest_z3.sh

Repository files navigation

This repository is archived. Weekly releases of F* are available at FStarLang/FStar and nightly binaries are at FStarLang/FStar-nightly

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

Apache-2.0 license

Custom properties

6 stars

29 watching

Report repository

Releases

Packages

Used by

Contributors

Languages