Though not a proof of the existence of God as worked on by Godel, but Al Platinga is known for his work for the logical discussion of the rationality or religious belief
Somewhat related excerpt: https://www.princeton.edu/~hhalvors/restricted/plantinga-Rea...