HomeAI Tutorial

prove-it-is-9

Public

A formal proof in Lean that the 500th decimal digit of (√2 + √3)^2012 is 9, written by gemini-cli

Creat2025-10-13T03:51:48
Update2025-10-14T00:31:28
0
Stars
0
Stars Increase

Related projects