Welcome to

Imandra Core
Gallery

Welcome mighty programmer! Here you'll find a sorted selection of many Imandra demo examples. We have prepared three different grouping options to help you find the right starting point.

Sort Demos by:

Beginner

Intermediate

Advanced