Cryptol-to-Isabelle — Web Pulse coverage

Apple open-sources quantum-resistant encryption code :: https://wpnews.pro/news/apple-open-sources-quantum-resistant-encryption-code