coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Comparing Coq and K

From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
To: coq-club AT inria.fr
Cc: grigore.rosu AT runtimeverification.com
Subject: Re: [Coq-Club] Comparing Coq and K
Date: Mon, 3 Feb 2020 13:42:32 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT cis.upenn.edu; spf=None smtp.helo=postmaster AT mx0b-000c2a01.pphosted.com
Ironport-phdr: 9a23:qVRDZBdRDoic67yLduwKhbjBlGMj4u6mDksu8pMizoh2WeGdxcS7Yx7h7PlgxGXEQZ/co6odzbaP7+a8BidZuMzJ8ChbNsAVDFld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6k8xgHGr3ZKdOha2H5kKUyOlBr4+su84YRv/itNt/8v7cJMTbn2c6ElRrFEEToqNHw46tf2vhfZVwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hycdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81cUTFKDIGhYIsVF+cOIelXoZT9qVQMoxWwCgqiBO3xxDFPnXL2wa830+E9HQHGwAAsAdQDu2nUotXvM6cSVPi4wKfVwDrdafNW2y3y6I3JchAnvPqBQ6h8etfLx0kuCQzFlEmfppLrMziI0ekCqHSU7/JhVe2xkW4otx9+ryOzycctkYnFnJ8Vykja+iV/xoY5P8O3R1NmYdO9FpZbqiKUN5NuT88/TGxluzw2xqAHtJO1ZiQG1ZQqyh7FZ/GJcoWE+g/vWeaSLDtimX5odq6ziwyy/EWu0OHwSM253VBXpSRfiNbMrGoC1xnL58iHVPR9+kCh1C6K1wHc9u1LOlk4mbbHJ5I93rE8iIAcvVjeEiPsgEX2lK+WdkI/+ui09evof6/qqYObN49xkg3+M6IuldKjAekgLwQDUGuW9f6h2LDi80D1WqhGg/02n6XDvp3XJNwXpqujDA9U1oYj5Qy/DzCj0NkAhnYIMEpFeBOZgIjzJ17BPuv1Auu+g1S3ijtr2ujGMaPnApXLNHTMjqrufatl505G1AUz1cxf545TCrwZPP3zXVbxuMXEAR89Lgy72P3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuGW1F/9w7Pn3yHQ9hFU1fK+z3JJRZmrrMO5hJhDTS3fqgN4EEGFClUx2dO3nklaPG3YHbX2qXq8m7TwTA4O9S5rbS4arxrGNwXHoTdVtemlaBwXUQj/TfIKeVqJUMX/AEopaijUBEIOZZcoh2BWp7l+ozqo/JK+MonUT75u7jZ5t/+3Ujg0/+Xp/CMHPizjRHVExpXsBQnoN5I46uVZ0kwrR2qljxeFAGNpVof5FT1VibM+O/6lBE9n3Hzn5UJKMQVeiTM+hBGhsHNkw2JkTe0t7HZOvgg2Rhic=

> ...(but the poplmark website seems down)

We will get that fixed ASAP!

- B

[Coq-Club] Comparing Coq and K, Bas Spitters, 02/03/2020
- Re: [Coq-Club] Comparing Coq and K, Benjamin C. Pierce, 02/03/2020
- Re: [Coq-Club] Comparing Coq and K, Brandon Moore, 02/06/2020
  - Re: [Coq-Club] Comparing Coq and K, Bas Spitters, 02/06/2020