pfribeiro
Research Fellow at the School of Physics Engineering and Technology 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 6 months ago
76 downloads
pfribeiro/cyphyassure-amd64 v202306.11.01
CyPhyAssure (https://isabelle-utp.york.ac.uk/) tools packed in a minimalist Ubuntu Linux VM (amd64 arch).
last release 6 months ago
85 downloads
pfribeiro/debian-11.7-aarch64 v202305.22.0
last release 7 months ago
68 downloads