I have been asked by some of you whether I can provide a virtual machine with Rodin installed, because in someone's installation icons do not appear (as in mine).

First of all, icon placement may differ among instances because you can change the interface and move things around, and also depending on the plugins one has installed, more / less icons will appear. So I would anyway ask you to double check the informacion at

https://wp.software.imdea.org/cbc/proving-tips/ https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ https://www3.hhu.de/stups/handbook/rodin/current/html/proving_perspective.ht...

and try to identify / locate the icons and menus referred there.

I have notwithstanding left at

https://wp.software.imdea.org/cbc/rodin-installation-and-tips/

under "If everything fails" a pointer to an Ubuntu virtual machine with minimal instructions. Use it only if necessary. A native installation will be better because you do not have to worry about assigning threads, memory, disk to the virtual machine.

Best,