Load an example -- Select an example -- Verification Amortized Queue Associative List Insertion Sort List Operations Propositional Logic Red-Black Tree Search Linked-List Sum and Max Heap FoldAssociative MergeSort ParBalance Monads HeapSort LeftistHeap Synthesis List Insert List Delete List Union List Diff List Split1 List Split2 List Split3 SortedList Insert1 SortedList Insert2 SortedList Delete SortedList Diff SortedList InsertSort SortedList Union StrictSortedList Insert StrictSortedList Delete StrictSortedList Union UnaryNumerals Add UnaryNumerals Distinct UnaryNumerals Mult UnaryNumerals Squared String List String Grammar String DoubleList String Matrix String Modular Render String Json String Repair Resourcebounds InsertionSort ListOps TreeOps PropositionalLogic BinaryTrie StringBuffer ConcatVariations LeftistHeap RedBlackTree BinomialHeap Amortized BigNums Par Folds Par MSort Par PropLogic Memresources Knapsack LevenshteinDistance LongestCommonSubsequence RealTimeQueue LazySelectionSort LazySortingBuggy FibonacciMemoizedBuggy

Analysis

Synthesis

Console:

Features:

× Failed to connect The Leon server appears to be unreachable right now.