GitHub repository: verse-lab/coq-lgtm
Primary language: Coq
Description: Framework for Hyper-safety proofs about structured data