ProsaII and Procheck

Hi.

Does any one have any experience running either (or both) of these programs on Mac OS X/Darwin.

Cheers,

Alex.