title

Categories - Imandra

charset

utf-8

description

A place for Imandra users to discuss all things Imandra - Core, Universe, Connectivity, etc

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/categories

og:title

Imandra

twitter:card

summary

twitter:image

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

twitter:url

https://forum.imandra.ai/categories

twitter:title

Imandra

twitter:description

A place for Imandra users to discuss all things Imandra - Core, Universe, Connectivity, etc

itemListOrder

http://schema.org/ItemListOrderDescending

position

0

url

/c/tutorials/7

position

1

url

/c/official-announcements/6

apple-touch-icon

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

canonical

https://forum.imandra.ai/categories

icon

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

search

https://forum.imandra.ai/opensearch.xml

stylesheet

https://sea1.discourse-cdn.com/flex001/stylesheets/color_definitions_dark_1_1_6e5e9c950c636e48dc58655ace89e52e9d9fbbf9.css?__ws=forum.imandra.ai