title

Imandra Documentation - Introduction

charset

utf-8

viewport

width=device-width, initial-scale=1.0

og:url

https://docs.imandra.ai/imandra-docs/notebooks/introduction/

og:type

website

og:title

Imandra Documentation - Introduction

og:description

An introduction to formal verification of your software with Imandra.

og:image

https://storage.googleapis.com/imandra-assets/images/og_image_default_i78.jpg

stylesheet

https://fonts.googleapis.com/css?family=Merriweather+Sans:300,300i,400,400i%7CMerriweather:300,300i,400,400i%7CRoboto+Slab:300,300i,400,400i

stylesheet

/imandra-docs/static/style/style.min.98373da4.css

stylesheet

/imandra-docs/static/nbextensions/nbimandra/styles.b466ce6f.css

stylesheet

/imandra-docs/static/docs-styles.b9de737f.css

stylesheet

/imandra-docs/static/jekyll-styles.e422fffc.css