Jepson

Organization

Mentioned as the origin of 'L', a model checker used for verifying AI-generated code.

Mentioned in 1 video