Для этого сайта требуется поддержка JavaScript.
Обзор
Помощь
Регистрация
Вход
microsoft
/
CCF
зеркало из
https://github.com/microsoft/CCF.git
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули CCF
0
Код
Задачи
Пакеты
Проекты
Релизы
Вики
Активность
1 902
коммитов
10
Ветки
300
Теги
837
MiB
0598128122
Граф коммитов
1 Коммитов
Автор
SHA1
Сообщение
Дата
Fritz Alder
a03608e429
TLA+ model of CCF's Raft (
#2821
)
2021-07-23 09:30:51 +01:00