A new ceiling for Λ: the de Bruijn–Newman constant is at most 0.1787854

A walkthrough of Jude Gomila's computer-assisted proof lowering the ceiling on Λ from 0.2 to 0.1787854.