# CRAQ

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T03:56:00.905359+00:00
> 1 articles mentioning **CRAQ**

- [Lamport Agent - AI-assisted Formal Specification](https://wpnews.pro/news/lamport-agent-ai-assisted-formal-specification) — 2025-11-14