title

Tutorials - Imandra

charset

utf-8

description

Tutorials from Imandra to get started

generator

Discourse 3.6.0.beta1-dev - https://github.com/discourse/discourse version 22f8f6d307260c33a0995a2dee20b34ca7a8f512

theme-color

#111111

og:site_name

Imandra

og:type

website

og:image

https://us1.discourse-cdn.com/flex001/uploads/imandra/original/1X/2ae4bac2fcf4f43e6c60edbb1889309383641d19.png

og:url

https://forum.imandra.ai/c/tutorials/7

og:title

Tutorials

twitter:card

summary

twitter:image

https://us1.discourse-cdn.com/flex001/uploads/imandra/original/1X/2ae4bac2fcf4f43e6c60edbb1889309383641d19.png

twitter:url

https://forum.imandra.ai/c/tutorials/7

twitter:title

Tutorials

twitter:description

Tutorials from Imandra to get started

itemListOrder

http://schema.org/ItemListOrderDescending

position

1

position

2

position

3

alternate

https://forum.imandra.ai/posts.rss

alternate

https://forum.imandra.ai/latest.rss

alternate nofollow

https://forum.imandra.ai/c/tutorials/7.rss

apple-touch-icon

https://us1.discourse-cdn.com/flex001/uploads/imandra/optimized/1X/2ae4bac2fcf4f43e6c60edbb1889309383641d19_2_180x180.png

canonical

https://forum.imandra.ai/c/tutorials/7