title

Profile - denis - 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://avatars.discourse-cdn.com/v4/letter/d/5e9695/45.png

og:url

https://forum.imandra.ai/u/denis

og:title

denis

twitter:card

summary

twitter:image

https://avatars.discourse-cdn.com/v4/letter/d/5e9695/45.png

twitter:url

https://forum.imandra.ai/u/denis

twitter:title

denis

apple-touch-icon

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

canonical

https://forum.imandra.ai/u/denis

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