an unlabeled box representing our release of precompiled binary executables
Photo by Giorgio Trovato / Unsplash

The reference implementation of the formally specified software is free to download.

Compilation of binary executables

  • compile in the prepared Docker images if available.
  • automatically extract code from Coq to OCaml and build the reference implementation command line tools.
  • cross-compile to Linux/x86-64, Linux/aarch64, Windows/x86-64, macOS/x86-64, macOS/aarch64
  • nice to haves: FreeBSD/amd64, FreeBSD/arm64, FreeBSD/riscv64, Linux/riscv64