coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan Leivent <jonikelee AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Coq in the news
- Date: Wed, 27 May 2015 17:45:03 -0400
https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/
- [Coq-Club] Coq in the news, Jonathan Leivent, 05/27/2015
Archive powered by MHonArc 2.6.18.