{"type": "article", "title": "MathCode cuts Lean compile checks to ~0.4s after warmup", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mathcode-cuts-lean-compile-checks-to-0-4s-after-warmup", "original_source": "https://www.snipvote.com/story/cmswwtgz8000ae2aw75026msi", "published": "2026-08-17T07:41:07.295580+00:00", "accessed": "2026-08-17", "id": "mathcode-cuts-lean-compile-checks-to-0-4s-after-warmup"}