Gilles Dowek, automated theorem proving pioneer, passed awaylemonde.fr2 points·dkural··1 commentOpen articleSaveView on HN