Unverified50% confidenceFactExact time
Lean's trusted computing base consists of only a few thousand lines of code.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe hand-written CNN project has only a few hundred lines of code, is written entirely from scratch, and has been open-sourced on GitHub (optimize-cnn).57% similarUnverifiedThe number of problems on the LeetCode platform has exceeded 3,000.56% similarUnverifiedPublicly available PCB design datasets are far fewer than code datasets; while there are billions of lines of open-source code on GitHub, the number of publicly available complete PCB projects is much smaller.55% similarUnverifiedCodeBERT的训练数据来自GitHub上超过600万个函数的代码-注释配对53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/895175API
curl https://kongchang.com/api/v1/knowledge/claims/895175MCP
get_claim(id=895175)