# Coq

> Entity coverage from Web Pulse
> Last updated: 2026-05-24T22:58:03.601447+00:00
> 1 articles mentioning **Coq**

- [Prompt for AI agent to act as a Lean mentor](https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor) — 2026-05-22