Jonathan Prieto

Alright. I could install AtelierB provers on M2 and it was a bit trickier than expected. - Install Java for arch-x86. For example, run in the terminal: arch -x86_64 zsh curl -s "https://get.sdkman.io" | zsh source ~/.sdkman/bin/sdkman-init.sh sdk install java Then, cat `which java` | file - /dev/stdin: Mach-O 64-bit executable x86_64 Now, dowload the x86 Rodin's version and assuming you copy-paste the .app to Applications. xattr -rc /Applications/rodin.app arch -x86_64 arch -x86_64 /Applications/rodin.app/Contents/MacOS/rodin...

Do you use the x86 version of Rodin through Rosetta? No, I don't. Let me see if I can manage to install the x86 binaries. If you have some instructions for this, they're welcome.

atelierb installation fails