Kim Morrison used an AI agent running Claude to translate the Zlib compression algorithm from C into Lean and verified its properties

Artificial intelligence research, products, and impact across society.

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.