Dear all,
did anyone manage to get Proof working inside the Xcode framework in a MAC with several cores? it works fine in my macbook except that it crashes when tries to untar and compile the tar file in each core. I’ll keep trying but if anyone knows the solution I would really appreciate his/her help.
Best regards
Esteban