title

About the Reasoners category - Reasoners - Imandra

charset

utf-8

description

Welcome to Reasoners page – a space to discuss all things related to Imandra Universe’s reasoners and new features. Here you can: Dive into discussions about current reasoners, their capabilities and configurations …

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/t/about-the-reasoners-category/26

og:title

About the Reasoners category

twitter:card

summary

twitter:image

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

twitter:url

https://forum.imandra.ai/t/about-the-reasoners-category/26

twitter:title

About the Reasoners category

twitter:description

Welcome to Reasoners page – a space to discuss all things related to Imandra Universe’s reasoners and new features. Here you can: Dive into discussions about current reasoners, their capabilities and configurations Submit and vote on new feature requests and reasoners to help shape the development of Imandra’s reasoning tools Reports bugs and share feedback directly with the Imandra team poll

position

1

headline

About the Reasoners category

datePublished

2025-01-15T16:18:13Z

articleSection

Reasoners

keywords

alternate nofollow

https://forum.imandra.ai/t/about-the-reasoners-category/26.rss

apple-touch-icon

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

canonical

https://forum.imandra.ai/t/about-the-reasoners-category/26

icon

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

search

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