GitHub repository: FrogOfJuly/coq-lgtm
Description: Framework for Hyper-safety proofs about structured data