Skip to content
Documentation

Use --enable-theories fpa to enable the fpa prelude #323

Sign in to view logs

Use --enable-theories fpa to enable the fpa prelude

Use --enable-theories fpa to enable the fpa prelude #323

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml documentation
5m 39s
Sphinx documentation
0s
Deploy documentation
0s
5m 39s