Gilles Dowek donnera un exposé dans 10 minutes à l'amphi IMAG.
-
Show this thread
-
"You all know Wikipedia? Let's move to the next system: Logipedia, for the only thing that matters - formal proofs."
1 reply 0 retweets 5 likesShow this thread
Replying to @MonniauxD
More interesting would be Proogle, to automatically search for the known or yet unknown proof of a predicate or its negation or somehow related theorems that might not be that distant to a sufficiently savant mechamatician.
5:24 AM - 4 Jun 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!