cd/entity/Cryptol-to-IsabelleΒ· homeβ€Ί entitiesβ€Ί Cryptol-to-Isabelle
grep -l @cryptol-to-isabelle /news/*.json | wc -l β†’ 1

@Cryptol-to-Isabelle

mentions 1 type Organization feed RSS
19:40
2026-05-26
cyberscoop.com
ai-research

Apple open-sources quantum-resistant encryption code

Apple released quantum-resistant cryptographic code and mathematical verification tools as open-source software, making them publicly available for independent review and industry use. The release inc…

// co-occurs with top 7 entities