A code knowledge graph grounded in formal methods