Standard library for Imandra
This library contains source files for basic data structures and algorithms formalized in Imandra.
opam pin add -k git imandra-stdlib https://github.com/AestheticIntegration/imandra-stdlib.git
or locally (requires ocamlfind):
make install
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.