coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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:
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.