# Agda

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T04:43:56.128405+00:00
> 2 articles mentioning **Agda**

- [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
- [[ANN] GHCup 0.2.2.0 release](https://wpnews.pro/news/ann-ghcup-0-2-2-0-release) — 2026-05-22