# Cryptol-to-Isabelle

> Entity coverage from Web Pulse
> Last updated: 2026-05-28T12:03:50.509454+00:00
> 1 articles mentioning **Cryptol-to-Isabelle**

- [Apple open-sources quantum-resistant encryption code](https://wpnews.pro/news/apple-open-sources-quantum-resistant-encryption-code) — 2026-05-26