Для этого сайта требуется поддержка JavaScript.
Панель управления
Обзор
Помощь
Вход
afp-mirror
/
Stateful_Protocol_Composition_and_Typing
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули Stateful_Protocol_Composition_and_Typing
0
Код
Задачи
Запросы на слияние
Релизы
Вики
Активность
Сравнить коммиты
базовая ветка: afp-mirror:master
Ветки
Теги
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Stateful_Protocol_Composition_and_Typing-Isabelle2020
...
взять из: afp-mirror:master
Ветки
Теги
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Stateful_Protocol_Composition_and_Typing-Isabelle2020
Нечего сравнивать, родительская и текущая ветка одинаковые.