Hacker News new | ask | show | jobs
by typesanitizer 1350 days ago
Created a PR to mention tools using SCIP in the README. https://github.com/sourcegraph/scip/pull/101