The English edition is being prepared.

Anthropic Says Claude Proved Security Properties Across 123 Libraries