BriefGPT.xyz
Ask
alpha
关键词
formal proof
搜索结果 - 1
连续体假设独立性的正式证明
用布尔值模型和 forcing 技术在 Lean 定理证明器中证明了连续统假设的独立性。
PDF
3 years ago
Prev
Next