coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Support for Kythe?

Open ejgallego opened this issue 7 years ago • 0 comments
trafficstars

https://github.com/google/kythe is an interesting framework we could make our tool talk to.

ejgallego avatar Apr 07 '18 15:04 ejgallego