Infinitude of primes --- a Lean theorem prover demo

แชร์
ฝัง
  • เผยแพร่เมื่อ 21 ก.ย. 2024
  • The completed proof is at
    leanprover.zul...
    Speaker: Scott Morrison

ความคิดเห็น • 63

ต่อไป
เล่นอัตโนมัติ
LftCM2020: Natural number game - Kevin Buzzard25:11LftCM2020: Natural number game - Kevin Buzzard
LftCM2020: Natural number game - Kevin Buzzardleanprover community
มุมมอง 3.7K
Automated Mathematical Proofs - Computerphile18:02Automated Mathematical Proofs - Computerphile
Automated Mathematical Proofs - ComputerphileComputerphile
มุมมอง 92K
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 410:45Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4David Renshaw
มุมมอง 1.5K
CEO แกล้งเป็นพนักงานจนๆเดทกับสาวร้านขายสัตว์เลี้ยงรักษาสุนัข สุดท้าย2:39:59CEO แกล้งเป็นพนักงานจนๆเดทกับสาวร้านขายสัตว์เลี้ยงรักษาสุนัข สุดท้าย
CEO แกล้งเป็นพนักงานจนๆเดทกับสาวร้านขายสัตว์เลี้ยงรักษาสุนัข สุดท้ายShop ละคร
มุมมอง 466K
#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 202400:19#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 2024
#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 2024วันบันเทิง oneบันเทิง
มุมมอง 770K
ไขข้อสงสัยกับทนายรณณรงค์ หลังผลคะแนน "ครูเบญ" ไม่ผ่านเกณฑ์09:20ไขข้อสงสัยกับทนายรณณรงค์ หลังผลคะแนน "ครูเบญ" ไม่ผ่านเกณฑ์
ไขข้อสงสัยกับทนายรณณรงค์ หลังผลคะแนน "ครูเบญ" ไม่ผ่านเกณฑ์Mono29
มุมมอง 577K
รัก3เศร้า เมื่อเพื่อนสนิทคิดไม่ซื่อ #สาระแทบไม่มี #วันเสาร์เมาท์มีม #เข็มขัดสั้น00:59รัก3เศร้า เมื่อเพื่อนสนิทคิดไม่ซื่อ #สาระแทบไม่มี #วันเสาร์เมาท์มีม #เข็มขัดสั้น
รัก3เศร้า เมื่อเพื่อนสนิทคิดไม่ซื่อ #สาระแทบไม่มี #วันเสาร์เมาท์มีม #เข็มขัดสั้นZhevass
มุมมอง 229K
The Future of Mathematics?1:14:48The Future of Mathematics?
The Future of Mathematics?Microsoft Research
มุมมอง 107K
The 360-Page Proof That 1+1=26:03The 360-Page Proof That 1+1=2
The 360-Page Proof That 1+1=2Half as Interesting
มุมมอง 1.7M
What P vs NP is actually about17:58What P vs NP is actually about
What P vs NP is actually aboutPolylog
มุมมอง 93K
Why π^π^π^π could be an integer (for all we know!).15:21Why π^π^π^π could be an integer (for all we know!).
Why π^π^π^π could be an integer (for all we know!).Stand-up Maths
มุมมอง 3.4M
When Computers Write Proofs, What's the Point of Mathematicians?6:34When Computers Write Proofs, What's the Point of Mathematicians?
When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine
มุมมอง 397K
The BEST Way to Find a Random Point in a Circle | #SoME1 #3b1b18:35The BEST Way to Find a Random Point in a Circle | #SoME1 #3b1b
The BEST Way to Find a Random Point in a Circle | #SoME1 #3b1bnubDotDev
มุมมอง 448K
The BEST CLI Tool9:50The BEST CLI Tool
The BEST CLI ToolThePrimeTime
มุมมอง 203K
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL33:01Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSLleanprover community
มุมมอง 1.1K
Object-Oriented Programming Is The Root Of All Evil25:16Object-Oriented Programming Is The Root Of All Evil
Object-Oriented Programming Is The Root Of All EvilAbstract Engineering | الهندسة المجردة
มุมมอง 8K
คุณเคยแกล้งเพื่อนแบบนี้มั้ย ? #roblox #shots #funny #robloxไทย #พี่แป้ง #ฟีด #มาแรง #fyp #ตลก #ฮาๆ01:00คุณเคยแกล้งเพื่อนแบบนี้มั้ย ? #roblox #shots #funny #robloxไทย #พี่แป้ง #ฟีด #มาแรง #fyp #ตลก #ฮาๆ
คุณเคยแกล้งเพื่อนแบบนี้มั้ย ? #roblox #shots #funny #robloxไทย #พี่แป้ง #ฟีด #มาแรง #fyp #ตลก #ฮาๆPANGCHOM
มุมมอง 58K
From Small To Giant Pop Corn #katebrush #funny #shorts00:17From Small To Giant Pop Corn #katebrush #funny #shorts
From Small To Giant Pop Corn #katebrush #funny #shortsKate Brush
มุมมอง 43M
24 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!47:1724 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!
24 ชั่วโมง สร้างสวนน้ำออบีส 10 ล้านลูก หลังสตู!!OAUJUN HI-END
มุมมอง 687K
มวยมันส์วันศุกร์ 20/09/20242:08:25มวยมันส์วันศุกร์ 20/09/2024
มวยมันส์วันศุกร์ 20/09/2024True4U
มุมมอง 56K
[TH] JFT vs RLF - VCT Ascension Pacific - Day 27:43:55[TH] JFT vs RLF - VCT Ascension Pacific - Day 2
[TH] JFT vs RLF - VCT Ascension Pacific - Day 2VALORANT Esports Thailand
มุมมอง 112K
Expected Ending?00:45Expected Ending?
Expected Ending?ISSEI / いっせい
มุมมอง 4.9M
🥊 LIVE : RWS ราชดำเนิน เวิลด์ ซีรีส์ | 21 ก.ย. 674:12:21🥊 LIVE : RWS ราชดำเนิน เวิลด์ ซีรีส์ | 21 ก.ย. 67
🥊 LIVE : RWS ราชดำเนิน เวิลด์ ซีรีส์ | 21 ก.ย. 67WorkpointOfficial
มุมมอง 362K
ไฮไลท์ฟุตบอล #บุนเดสลีกา 2024/25 | แวร์เดอร์ เบรเมน 0-5 บาเยิร์น มิวนิค | 21 ก.ย. 6708:29ไฮไลท์ฟุตบอล #บุนเดสลีกา 2024/25 | แวร์เดอร์ เบรเมน 0-5 บาเยิร์น มิวนิค | 21 ก.ย. 67
ไฮไลท์ฟุตบอล #บุนเดสลีกา 2024/25 | แวร์เดอร์ เบรเมน 0-5 บาเยิร์น มิวนิค | 21 ก.ย. 67PPTV SPORTS
มุมมอง 203K