Get the latest tech news

Some Junk Theorems in Lean

A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean

None

Related news:

We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean