Have ideas from programming helped us create new mathematical proofs?

proofassistants.stackexchange.com