Skip to Content.
Sympa Menu

coq-club - [Coq-Club] DSSS17 Slack Summary

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] DSSS17 Slack Summary


Chronological Thread 
  • From: Calvin Beck <hobbes AT ualberta.ca>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] DSSS17 Slack Summary
  • Date: Tue, 3 Jul 2018 14:10:12 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hobbes AT ualberta.ca; spf=Pass smtp.mailfrom=hobbes AT ualberta.ca; spf=None smtp.helo=postmaster AT mail-wm0-f47.google.com
  • Ironport-phdr: 9a23:rxNZVxbHWXPE3do3RvtRdpn/LSx+4OfEezUN459isYplN5qZoM2ybnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGp2xYJELD+ofPOZYqZT2qkYQohSiBgmnGeTiyj9PhnDtxqI1zf8hHBrb3AM6G9IBq2rbrM/pNKgIS+y60LPHwCzFYvhL1zn9743IfQogofGKRb9wbcrQyVExGAPeiVWQp4rlPzSJ1usTqWSU8+1gVeephmU6qA9xuiCiy8Ujh4XTm44Z1FDJ+T96zYorP9G1R0x2bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIa+fCcQyZQnwwfTavKCc4SU+x7jWumcLDViiHJqf7K/gBmy8Uy+xeHmSsa011NKojJEktnKqH8NywTe58qIR/dn40utxzaC2xrQ5+1aO0w5mqjWJ4YkwrEql5oTtUrDHjXxmEXzlKKWdkIk9fOz5Ov5ebXrvYKcOJVwig7lLKsugNC/Dv4iPgcSRWeX4f6826H7/U3lXLVKieU7nbXesJDDPMgUuqq5AxJO3Ys48Ba+DzKm0MwCknUdLVJFfgiHj4nzNF3ULvD4F6T3v1P5mzBygvvCI7fJA5PXL3GFnq2yU6x67ht3wQ4tzNYXzZ9fCflVIPX5UELqnMHRChU0KRC9he3uXoYunrgCUH6CV/fKeJjZtkWFs7p2cru8IbQNsTO4EMALovvnjHs3g1gYJPL7wJITYn2iAv0gKEzLOCOw0OdEKn8Du08FdMKvkEeLCGUBen+2Va8m+jh9A4v0Vd6eFLDou6SI2WKAJrMTZm1CDQrRQ3LhdoHBRPJULSzOfYlulTsLUbXnQIgkh0mj

Hello fellow Coq users,

I have gone through the #coq channel from the Deepspec Summer School in 2017's slack, and organized it into a basic set of notes here:

https://www.typesofnote.com/dsss17-slack.html

Some people suggested that I post this resource here in case anybody else finds it useful, or in case any of you have any suggestions (feel free to make pull requests to clarify anything).

Hope some of you find something of use amongst this!

-- Calvin Beck


  • [Coq-Club] DSSS17 Slack Summary, Calvin Beck, 07/03/2018

Archive powered by MHonArc 2.6.18.

Top of Page