afp-mirror
/
Stateful_Protocol_Composition_and_Typing
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 2 Wiki Activity
4 Commits
1 Branch
463 KiB

Default Branch

master

ef59bf6a36 · Import of AFP for Isabelle 2021. · Updated 1 month ago
 ZIP  TAR.GZ
Delete Branch

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes