This commit is contained in:
Ken McMillan 2017-12-14 18:44:55 -08:00
Родитель d67ee17769
Коммит e013e5de77
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -104,7 +104,7 @@ the above IVy text (both parts) into a file
This produces the following rather uninformative display:
<p><img src="images/client_server1.png" alt="IVy screenshot" /></p>
<p><img src="images/client_server1.png" alt="Testing IVy screenshot" /></p>
Let's ask IVy to check our invariant. We select the `Check induction`
operation, like this: