Stories by baruchel

The million-dollar math problem hardly anyone is trying to solve

What Do Gödel's Incompleteness Theorems Mean?

The mathematician who doesn't exist

From Probable to Provable: What Automated Reasoning Means for the Board

Mikan: a proof assistant for cubical type theory (forked from Agda)

Why Not Use Lean?

Rocq 9.2.0 Released

Eniac, the First General-Purpose Digital Computer, Turns 80

Can the Most Abstract Math Make the World a Better Place?

How many steps in a "chain of victories" separate you from your favorite player?

Assigning Open Problems in Class

Mathematicians find largest prime number to date

Any chess position with 8 pieces on board and one pair of pawns has been solved

The Year in Mathematics

Ramanujan's 100-year-old pi formula is still revealing the Universe

The Year in Computer Science

Apples

50 years of proof assistants

50 Years of Proof Assistants

New Font Release: Bhs

1 2 3 4