15,000 lines of verified cryptography now in Python (via asb) — discussion

#cryptography #python