imandra-ai/imandra-prelude

This is stars and forks stats for /imandra-ai/imandra-prelude repository. As of 29 Apr, 2024 this repository has 10 stars and 1 forks.

imandra-prelude Imandra provides a prelude, Imandra_prelude, which is available when verifying and executing .iml programs via Imandra. As .iml and .ml syntax has some small differences, we provide imandra-extract to extract .ml syntax source from .iml source. This package contains the extracted .ml version of Imandra_prelude.iml so it can be used via standard OCaml (and bucklescript) build processes alongside other programs that have been verified and extracted from .iml. Usage from an native OCaml...