Some pockets of interest in computer-checked proofs in the US in the 1980s and 1990s.  Several important research projects and initiatives in the US in the late 1990s and early 2000s that helped raise awareness in the US of computer-checked proofs: proof-carrying code, the POPLmark challenge.