{"entity": "Cryptol-to-Isabelle", "url": "https://wpnews.pro/entity/Cryptol-to-Isabelle", "count": 1, "articles": [{"slug": "apple-open-sources-quantum-resistant-encryption-code", "title": "Apple open-sources quantum-resistant encryption code", "url": "https://wpnews.pro/news/apple-open-sources-quantum-resistant-encryption-code", "published_at": "2026-05-26 19:40:26+00:00"}]}