{"entity": "LCF", "url": "https://wpnews.pro/entity/LCF", "count": 1, "articles": [{"slug": "50-years-of-proof-assistants", "title": "50 Years of Proof Assistants", "url": "https://wpnews.pro/news/50-years-of-proof-assistants", "published_at": "2026-05-26 14:31:17+00:00"}]}