Crypto-proofs is a project mainly written in ..., it's free.
CS255 Handout on Cryptography Proofs
404: Not Found