pfribeiro
Lecturer in Computer Science at the University of York, UK.
Boxes
pfribeiro/cyphyassure-arm64 v202306.07.01
CyPhyAssure (https://isabelle-utp.york.ac.uk/) tools packed in a minimalist Ubuntu Linux VM (arm64 arch).
last release over 1 year ago
360 downloads
pfribeiro/cyphyassure-amd64 v202405.14.01
CyPhyAssure (https://isabelle-utp.york.ac.uk/) tools packed in a minimalist Ubuntu Linux VM (amd64 arch).
last release 5 months ago
419 downloads
pfribeiro/debian-11.7-aarch64 v202305.22.0
last release over 1 year ago
407 downloads