coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: makarius AT sketis.net
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Autumn school "Proof and Computation"
Date: Sun, 8 Apr 2018 02:06:10 +0200 (CEST)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=makarius AT sketis.net; spf=Pass smtp.mailfrom=makarius AT sketis.net; spf=None smtp.helo=postmaster AT mx2f26.netcup.net
Ironport-phdr: 9a23:EQKaQxTJHU6XTofAj4YJMlt9+dpsv+yvbD5Q0YIujvd0So/mwa68ZheN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/mHJhMN/kaxUvB2vqAFkzo7IY4yZKOZycr/Bcd4YQ2dKQ8ZfVzZGAoO5d4YPCvAOPeVCoInnplsOsAC+CBK3BOPs1DBImn723bYg3+QnDw7GwAotFM8NvnTMtNj5KaQfXOOvwKTJzjjPdfxb1DXn5IXGcR0sp+yHU6hqfsrL00YvEhvIjlWOpozhODOYzuENsmeF4+puS+6iinQrqwdvrTiz2sgsl5HJipgTyl/a6SV12Ic1JdumR05nedOoDZhduiKAO4Z3Qc4uWW5ltSQgxrAIupO3ZC0Kx44mxx7bZfyHaY+I4hf7WeaUOzh4h2hqeKi+hxav6kit0fb8Vsqq31ZWrypFicPAtnYT2BzP8sSHUOdy/l+92TaT0ADe8v1LIUctlabCN5EhxqMwmYEIvETYHi72nV32g7WMekUl/Oio8eXnba/8qp+SLY8nwj35Z68pg4m0BfkyGgkIRWmSv+qmh5P5+kisRbxJh+c3j7Lxq5PXOcUA4Ki0H1wGmr0/4gqyWm/1mO8TmmMKeQocKUC3yrPxMlSLG8jWSPK2glCiijBunqqUJb7sHpTWaH7OjOW4JOov2wtn0AM2iOtnyddMELhYeqDoWULttceeCBIlYVTtnrTXTe5l34ZbYlqhR6+UNKSL4A2N9rghebfKYoIJsyvlbf4o+6y2gA==

I am not reading my mail until 12-Apr-2018.

[Coq-Club] Autumn school "Proof and Computation", Chuangjie Xu, 04/08/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] Autumn school "Proof and Computation", makarius, 04/08/2018