Предположим, у меня есть следующий тип: type example { mutable a : int mutable b : int } invariant...
Я хочу проверить функцию с помощью лямбды.Например: let map (t : array int) (f : array int ->...
С примером файла find.c я могу без проблем доказать это, используя alt-ergo по умолчанию. Но при...