imandra-ai/imandra-stdlib

This is stars and forks stats for /imandra-ai/imandra-stdlib repository. As of 29 Apr, 2024 this repository has 4 stars and 0 forks.

Standard library for Imandra This library contains source files for basic data structures and algorithms formalized in Imandra. Install opam pin add -k git imandra-stdlib https://github.com/AestheticIntegration/imandra-stdlib.git or locally (requires ocamlfind): make install Use Assuming you have access to Imandra: # #require "imandra-stdlib";; it should load and parse the files of the stdlib. This will take some time as theorems need to be re-proved.