an interactive theorem
prover on the process algebra CSP based on the
theorem prover Isabelle
œ | CSP |
(README, theory files, dependency-graph) |
œ |
CSP_T |
(README, theory files, dependency-graph) |
œ | CSP_F |
(README, theory files, dependency-graph) |
œ | FNF_F |
(README, theory files, dependency-graph) |
œ | DFP |
(README, theory files, dependency-graph) |
œ |
Test |
(README) |
œ |
ep2 |
(README) |
œ |
DM |
(README) |
œ |
SA_Kung |
(README) |
œ |
NBuff |
(README) |
œ |
UCD |
(README) |