Add proof terms and countermodel tooling

rremca
Коммит: 0f69949
Файл конфигурации: ci.yaml
#9

Задания

Python checks

Ошибка: 24 с

Ожидание:6 с

Облачный:gv02-runner12

Версия:5.3.0

Показывать время

Для полного доступа зарегистрируйтесь или авторизуйтесь на GitVerse

Войти