{"type": "article", "title": "Why Rocq is better than Lean for program verification", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/why-rocq-is-better-than-lean-for-program-verification", "original_source": "https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html", "published": "2026-07-28T21:16:29+00:00", "accessed": "2026-07-29", "id": "why-rocq-is-better-than-lean-for-program-verification"}