coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Announcement: a Coq formulation of Claude Shannon's masters thesis is now available.

From: Andrew Harris <andrew.unit AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Announcement: a Coq formulation of Claude Shannon's masters thesis is now available.
Date: Sun, 1 Apr 2018 12:50:48 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrew.unit AT gmail.com; spf=Pass smtp.mailfrom=andrew.unit AT gmail.com; spf=None smtp.helo=postmaster AT mail-it0-f51.google.com
Ironport-phdr: 9a23:5ZULPxSsKMyKWxAN+2WwC+FggNpsv+yvbD5Q0YIujvd0So/mwa69ZxON2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/mHZhMJzkaxVvg6uqgdlzILIeoyYLuZycr/fcN4cWGFPXtxRVytEAo6kc4YPCfcOPfxGoIjzulAArwGxBRO2BOPu0T9Dm3j70rc80+s8CwHJwgIhE8gTsHTSrdX1KLwfUe+wzKbSzDXDa+la1iv66IjNax0sp+yHU7x3ccrU00YvFgXFg02LqYzkMDOazeMNs3aa7+pjT+6vjHQnqw53rzOyxckskpHEipwJxl3A7yl0w4Y4KcemREJmbtOoCptduzycOoBrWM0tWXtotzw/yrAeuZ60YiwKyJM/yh7acfOHcoyI7gviVOaNPTt0nXxldbKiixqo/kigzer8Vsaw0FlUtCZKjt7MtnUV2xzS7MiIVOd981+/1TqT0w3f8OJJLEAumabFNpIszaQ8m5oOvUjbGy/5gkT2jKuYdkU+/eio7vzqba/gppCBLY97lA//Pr4zmsy5AOQ4LhMDX2ee+eum1b3j+Vf1T6lNjv0ziqXZqozVJdwHpq6lBA9Yypos6xGmDzu/zNsYmWQHI0ledRKcj4npPknOL+riAfe+hVSsijZryOrcMr3vGJWeZkTExbzmZPN271NW4As119FWoZxOWZ8bJ/emc0n9rtHHRj8wKRa12K6zAdNxzI4BH3+JA7OxP6bbsFvO7eUqdbrfLLQJsSrwfqB2r8XlimU0zAdELPuZmKAPYXX9JcxIZkCQYH7imNAESD5YsQ83Teisg1qHA2cKOySCGpkk7zR+M7qISJ/ZT9n00rOE1Sa/WJZRYzIeUw3eITLTb4yBHsw0RmeSL8tmyGFWULGgT8ogyUnrulKjjbVgKeXQ92sTspexjNU=

Dear colleagues,

It is with great pleasure that I would like to announce the publication of a Coq formalization of Claude Shannon's 1936 masters thesis entitled "A Symbolic Analysis of Relay and Switching Circuits".

This work has been published in the proceedings of the highly esteemed SIGBOVIK 2018 conference, and can be found on pages 165-176.

http://www.sigbovik.org/2018/

best regards,

-andrew

[Coq-Club] Announcement: a Coq formulation of Claude Shannon's masters thesis is now available., Andrew Harris, 04/01/2018