Add product proof terms and homework sequents

mbesko
Коммит: f6bae29
Файл конфигурации: ci.yaml
#12

Задания

Python checks

Ошибка: 39 с

Ожидание:12 с

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

Версия:5.3.0

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

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

Войти