Gilles Dowek, automated theorem proving pioneer, passed away (lemonde.fr) 2 points by dkural 11mo ago ↗ HN
1 comment
[ 3.1 ms ] story [ 19.8 ms ] thread