AlyssaLytle

Hello! I have imdb.zip and imdb.zip.idx properly downloaded. I downloaded just ratings, aka-titles, and movies, as suggested. When I run example.py, I don't get an error, but nothing prints. The...

Getting Easycrypt to run on PG

3

I installed Easycrypt and ProofGeneral according to the instructions for my Mac, and when I click on a .ec file, it opens proof general, but when I try to step...