Sherlocoq: Search released coq source-code

Hi @Yannick

Right now there’s no way to do this, but I agree something like that would be quite useful. When I find some more spare time I’ll look into how that could be presented. Thanks for the suggestion :))

2 Likes