coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Invitation to join the Codewars Coq community

From: Donald Leung <i.donaldl AT me.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Invitation to join the Codewars Coq community
Date: Fri, 28 Jun 2019 13:12:46 +0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=i.donaldl AT me.com; spf=Pass smtp.mailfrom=i.donaldl AT me.com; spf=None smtp.helo=postmaster AT pv50p00im-ztdg10021801.me.com
Ironport-phdr: 9a23:Czvc8BT0EQusQWNaqw87fbozn9psv+yvbD5Q0YIujvd0So/mwa6yZByN2/xhgRfzUJnB7Loc0qyK6vqmAD1LsM7J8ChbNsAVDlld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7g9xgHUrnZMdOhbwX9kLk+Xkxrg+8u85pFu/zlNt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWMtaSi5PDZ6mb4YXD+QOIelXoZT+qVUAsxWwAhKhC/nzxj9NnHL23bE23/onHArb3AIgBdUOsHHModv7M6cSV/q6zK3Vwj7eaf1Zxyr96I7Hchs8pvyMXKh8ftfWyUkpDQzFikifqYj+MjOQyOsBqXSU7+1lVe+2jWMstg9/oj+qxsg2i4nJgJoYyl/F9SVl3IY6O8e4RFR6Yd6hCJdfqyaaOJZoTcIsWW5ooj06xqcatp68eSgHzoksyR3Ha/GfboSF4AjvWeaSLDtihX9pYrKyiheq/US91+HwSNO43EtXoidBiNXAq3IA2hLJ5sWHTvZw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49joITsVrDEyPqgEX6kLOadkQh+uSx6uXnfqjpppCBO4Nolg3yLLkil8+jDeglKAQOWnaU9f6g273k+E31WLRKjvsonanFqJ3WOMYWqrS5DgJWyIou6gyzAjen3dgAmHkINlNFeBaJj4jzPFHOJej1Dfalj1uxlzdrwerJPrn8DZXJNXXDlanucaxh5E5bzQo/1cpf6I5MCrEdPPLzXVf8u8DfDh8gKgC73+LnCMhm2Y4FQmKOAqqZMLvIvlOS5+IvJfOMZI4PtzrnJfgl/a2msXhsklgEOKKtwJE/aXaiH/0gLV/KT2Drh4ItFmEDugZ2aOH3jlLKBT8Va3G0VqYw4hk+BcStCoKVFdPlu6CIwCruRs4eXWtBEF3ZSS65JbXBYO8FbWepGuEklzUFUba7TIpxhxSj8gT9zug+d7eGymgjrZvmkeNNyajTmBU1rmUmF9rAi3nVF2Bx23EUSzBvhPgl+BwlkxGG3O5zhPkKTYUPtcMMaR8zMNvn98I/E8r7ClDEc5GCT1P0Gtg=

I hereby write to you to invite you to sign up for an account on Codewars: https://www.codewars.com

Codewars is a training platform where programmers of all disciplines train on code challenges called Kata in order to improve their programming skills. The Coq proof assistant was recently added to Codewars (approx. April 2019) and there are currently insufficient Coq users to push newly authored Coq challenges out of the Beta (testing) phase; therefore, it would be an honor to have a seasoned Coq user like you on Codewars to test them out and contribute more interesting Coq challenges to the community.

Should you choose to create an account on Codewars, you are also welcome to ask any questions about the Codewars platform in general or simply chat with other Codewarriors via our Gitter channel: https://gitter.im/Codewars/codewars.com

Yours sincerely,

Donald Sebastian Leung

A Year 2 CSE undergraduate at The Hong Kong University of Science and Technology

[Coq-Club] Invitation to join the Codewars Coq community, Donald Leung, 06/28/2019
- Re: [Coq-Club] Invitation to join the Codewars Coq community, Agnishom Chattopadhyay, 06/28/2019
  - Re: [Coq-Club] Invitation to join the Codewars Coq community, Vincent Siles, 06/28/2019
    - Re: [Coq-Club] Invitation to join the Codewars Coq community, Théo Zimmermann, 06/28/2019
      - Re: [Coq-Club] Invitation to join the Codewars Coq community, Vincent, 06/28/2019
        
        Re: [Coq-Club] Invitation to join the Codewars Coq community, mukesh tiwari, 06/28/2019
        
        Re: [Coq-Club] Invitation to join the Codewars Coq community, Donald Leung, 06/28/2019
        
        Re: [Coq-Club] Invitation to join the Codewars Coq community, Bas Spitters, 06/28/2019