15,000 lines of verified cryptography now in Python

news.ycombinator.com

saved by: 0 people
related read on: 15,000 lines of verified cryptography now in Python discussion