Lean4 document symbol cache ignores build state and serves stale empty results
March 25, 2026 · #1217
Python
Difficulty: Medium
Labels
bug help wanted language-specific
Parent Repository
oraios/serena
Python repository
22,329 1,490