Get the latest tech news

Why is it all in the kernel?

[ general Lean Isabelle HOL system philosophy ] memories Sensational news! The Collatz conjecture has just been refuted. Ramana Kumar has proved its negation.

None

Get the Android app