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