Unverified50% confidenceFactExact time
形式化验证只能证明程序符合规约，但无法保证规约本身正确
1
Sources
50%
Confidence
Long-term
Relevance
8/18/2026
First Seen
Sources
Cite This Claim
Stable URI
https://kongchang.com/claim/767760API
curl https://kongchang.com/api/v1/knowledge/claims/767760MCP
get_claim(id=767760)