Este site requer JavaScript.
Painel
Explorar
Ajuda
Acessar
afp-mirror
/
Stateful_Protocol_Composition_and_Typing
Observar
1
Juntar aos favoritos
0
Fork
Você já fez o fork de Stateful_Protocol_Composition_and_Typing
0
Código
Issues
Pull requests
Versões
Wiki
Atividade
Comparar commits
merge em: afp-mirror:master
Branches
Tags
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Stateful_Protocol_Composition_and_Typing-Isabelle2020
...
pull de: afp-mirror:master
Branches
Tags
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Stateful_Protocol_Composition_and_Typing-Isabelle2020
Estes branches são iguais. Não há nenhuma necessidade para criar um pull request.