Gilles Dowek, automated theorem proving pioneer, passed away

2 dkural 1 7/26/2025, 1:42:42 AM lemonde.fr ↗

Comments (1)

toomuchtodo · 1h ago