title

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 5b0cde2b3b4939fe5be304c1bbbfdb0898c09ecc

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/

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/

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

1

position

2

position

3

position

4

alternate

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

alternate

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

apple-touch-icon

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

canonical

https://forum.imandra.ai/

icon

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