YHacker News
Screenshot of jonathan.protzenko.fr: 15,000 lines of verified cryptography now in Python

First screen, captured .

Looks similar

Related stories