4 ms·Gilles Dowek, automated theorem proving pioneer, passed away2 points by dkural 1y agotoomuchtodo 1y agohttps://fr.wikipedia.org/wiki/Gilles_Dowek https://fr.wikipedia.org/wiki/Gilles_Dowek