Skip to content

Top Best Ask Show New Jobs

Gilles Dowek, automated theorem proving pioneer, passed away (opens in new tab)

(lemonde.fr)

2 pointsdkural11mo ago1 comments

1 comments

1 comments · 1 top-level

toomuchtodo11mo ago

https://fr.wikipedia.org/wiki/Gilles_Dowek

j / k navigate · click thread line to collapse