{"type": "article", "title": "AIs-welcome Lean library downstream of Mathlib", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ais-welcome-lean-library-downstream-of-mathlib", "original_source": "https://github.com/TauCetiProject/TauCeti", "published": "2026-07-25T12:32:24+00:00", "accessed": "2026-07-25", "id": "ais-welcome-lean-library-downstream-of-mathlib"}