https://github.com/imandra-ai/imandra-stdlib

Standard library for [Imandra](https://imandra.ai)
https://github.com/imandra-ai/imandra-stdlib

formal-methods imandra induction stdlib

Last synced: about 1 month ago
JSON representation

Standard library for [Imandra](https://imandra.ai)

• Host: GitHub
• URL: https://github.com/imandra-ai/imandra-stdlib
• Owner: imandra-ai
• Created: 2018-06-01T22:22:11.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-08-15T17:23:46.000Z (4 months ago)
• Last Synced: 2024-08-15T19:37:35.181Z (4 months ago)
• Topics: formal-methods, imandra, induction, stdlib
• Language: Makefile
• Size: 64.5 KB
• Stars: 5
• Watchers: 11
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Standard library for [Imandra](https://imandra.ai) 

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:

```ocaml

# #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.