Unverified50% confidenceFactExact time
Lean 4 is also a general-purpose programming language.
1
Sources
50%
Confidence
Long-term
Relevance
10/11/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedLean is both a programming language and an interactive theorem prover, in which users write mathematical propositions in a formal language and have them verified step by step by the machine.76% similarUnverifiedBend is a programming language that aims to enable ordinary developers to write massively parallel programs.63% similarUnverifiedCrawl4AI supports integration with large language models, allowing users to describe the required data in natural language and have the model perform semantic-level content extraction.62% similarUnverifiedHunyuan 4 is a multimodal large language model launched by Tencent, with capabilities including text generation, code writing, and logical reasoning.60% similarUnverifiedThe Lean 4 language and its mathematics library Mathlib have formalized over 150,000 mathematical theorems and definitions, with more than 400 contributors.57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/996721API
curl https://kongchang.com/api/v1/knowledge/claims/996721MCP
get_claim(id=996721)