Сведения по «Coq»

Материал из DISCOPAL
Перейти к: навигация, поиск

Основные сведения

Отображаемый заголовокCoq
Ключ сортировки по умолчаниюCoq
Длина страницы (в байтах)1382
Идентификатор страницы3403
Язык страницырусский (ru)
Модель содержимого страницывики-текст
Индексация поисковыми роботамиРазрешено
Количество перенаправлений на эту страницу0
Подстраницы данной страницы0 (0 перенаправлений; 0 обычных)

Защита страницы

РедактированиеБез защиты (бессрочно)
ПереименованиеБез защиты (бессрочно)

История изменений

Создатель страницыStasFomin (обсуждение | вклад)
Дата создания страницы11:33, 13 октября 2020
Последний редакторStasFomin (обсуждение | вклад)
Дата последней правки08:46, 10 ноября 2020
Общее число правок8
Общее число различных авторов1
Правок за последнее время (в течение 90 дней)0
Уникальных авторов за последнее время0
Источник — «https://discopal.ispras.ru/Coq»