coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "jonikelee AT gmail.com" <jonikelee AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Quanta magazine article on theorem provers
- Date: Sun, 6 Sep 2020 14:59:43 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt1-f169.google.com
- Ironport-phdr: 9a23:6xeFzRIl/yQ2S0N4ddmcpTZWNBhigK39O0sv0rFitYgfIvXxwZ3uMQTl6Ol3ixeRBMOHsqwC0rCK+PC5EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe8bL9oMRm6swrcusYVjId/N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhyAbOjIn9GzaitV8gL5GrBm8oxByzIrZbISTOfFjfK3SYMkaSHJPUMhRSSJPH4CyYYwAAOUdMuhVtJX9qlkUoBeiHwSgGP3jxzlVjXH2x6061OEhHBnI0AwiGNIOtnXUrNbrO6cWT++60rLFzTrGb/xM2Df97JLEfQwmofGJU757bM3cyUsoFwPDj1WQqpLqPzeL2esTqGWb4O9gWviui24jsQ1+vj+vxsI1h4TPm4kaxUzK+z9jz4YpOd23VlR7Ydi8HZZOqyyUOJd7T8E8T2xnpis31rkLtJCmcCUKyJopyQDTZv2bfoSV/h/tW+ScLSp2in9md7+yiRi8/VSjx+HhSsS51ktBoCRCktnJrH8N1hrT59CeSvtg5Eih3yqP2BrW6u5eLkA7j6vaK58nwrEujJYTtl7DHiDwlU7rj6GWbl0p9va05+njeLnrpZ+RO5Vphgz/LqgigNGzDOU8PwQWQWSW+Piw2KDm8EHkRLhFkvg7n6bYvZzGOcgWo6C0DBFV34sm9hmzEyqp3dodkHQILV9FdhyHgo3nO17QLv31DvKyjlqxnzppx/3LOKDqDI/XIXjZirjheK5w605Cxwo3ytBS/5dUBasAIPL3Q0PxrcDYAgIgPwy63urqCdFw2pkRWWKIBa+ZP6fSvkGS6u0zJOmMYZcZuDf7K/c7+/7jlWE1lUMZcKWz3pYaaGq0EulnLkmFe3bgn9YMHGMSsgo7VuPqiVmCUTBJZ3a1WqIx/jM7CIWgDYfCRYCinriB0zmlEZBNaWBGD0qDEXbsd4meR/gMbyeSLtd7kjMYTbihV5Mh1Ra2uQDmzLpnN/PY9TEctZL+z9d4/PbTlBE39TxsFcuRyWCNT2dunmMJXTA6xq5/oVYugmuEhKN/mrlTEcFZr6dCVR5/PprBxcR7DcrzU0TPZIHaZkyhR4DsAzY3T9E8x9IDS0l4EtSmyBvE2mDiV70Skb2ICZg5/4rT2nHwI4B2zHOQh/pptEUvXsYabT7uvaV47QWGW9+Qwhep0p2yfKFZ5xbjsWKKzG6ApkZdCVciXqDMXHRZbUzT/42guhHyCoS2ALFiCTNvjNaYI/ITONLshFRCAvzkPYaGOj/jqyKLHR+Ng4i0Qs/qdmEahnuPDUEFl0UK4S/DO1FgV2GupGXRCDEoHlXqMRvh
https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/
- [Coq-Club] Quanta magazine article on theorem provers, jonikelee AT gmail.com, 09/06/2020
- Re: [Coq-Club] Quanta magazine article on theorem provers, Josef Urban, 09/08/2020
Archive powered by MHonArc 2.6.19+.