3 ms·

Worth noting, lest the name scare you away from a great computer science achievement: https://coq.inria.fr/news/114.html https://coq.inria.fr/news/114.html

• deleted 11y ago
  [deleted]