afp-mirror
/
Extended_Finite_State_Machine_Inference
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 2 Wiki Activity
3 Commits
1 Branch
109 KiB

Default Branch

main

1f29340b1b · 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