English Christoph Walther Cited by user 88.69.138.227 on 09 Mar 2024 Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving.