4 ms·

Seems like SCIP would be a better fit, although not as widely supported by languages I suppose.

• 0xdeafbeef 10mo ago
  It takse long to regen on big codebases, but yes