Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Quanta magazine article on theorem provers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Quanta magazine article on theorem provers


Chronological Thread 
  • 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/



Archive powered by MHonArc 2.6.19+.

Top of Page