coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Writing extensions/plugins for different Coq IDEs

From: Talia Ringer <tringer AT cs.washington.edu>
To: Coq-Club <coq-club AT inria.fr>
Subject: [Coq-Club] Writing extensions/plugins for different Coq IDEs
Date: Thu, 18 Oct 2018 12:12:07 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=None smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-vs1-f46.google.com
Ironport-phdr: 9a23:fAJMgx28rjG7nvo1smDT+DRfVm0co7zxezQtwd8Zse0UL/ad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLnhycJOTA6/m/KlMJ/kLlWrwi9qxFl2YPYfJ2ZOfh4c6jAfd0aX21BXsNJWiJfGIy8a4oPAPAcNuhEron9oVQOogWkBQKxA+7v1iVIhn7w3a01zeshCxrL0xA7H94UvnXbts71NKcTUeCzw6nI0TLDb/VM1Tjj9YfIbwksrPeRVrxzacrc0VcjGx/Bg1mKqoHoPymZ2voQv2WZ9eZtWuOihmg6oA9ruDev3N0jiozRi4IV1F/E8SJ5zZ4wJdKiSU57ZceoEIVLty2HLod2TMwvTmBytCY1zb0GvpG7fCwUx5g92xHfbPmHf5CJ4hLlSumRPS91iGx5dL+7nRq/8kitxvfiWsWp0ltGtCVIn9jUunAIzRPT68yHSvVn/kem3DaCzxzT6vtFIUAymqrUNYQhz6UsmZoIq0jCEDX5mF72jK+XcEUk9fSo6+PhYrn8uJCTKpJ0hhnkMqsygsy/Hfg4Mg8WUmeH/uS8zaTv8lH9QLVXlfI7ibLZsZDfJcQDvKG1GQ5V0oA56xa+FTiqytoYnWNUZG5CLTmAls3CP0zEaKTzCu76iFCxmh9qwerHN/vvGMOeAGLEleLddLJ84gZmyQw8wMoXs45OC7cOLejbUVS3q9XDDh4/PBCzxaDqBMgrhdBWYn6GHqLMaPCailSP/O96e7DdNr9Qgy70Lr0e39CriHY4nVEHeqzwjMkcczanF+9mIkOWfX3qxNoNDDVS51ZsfKnRkFSHFAVrSTOqRatlt2MwE8S5BJzDR4ainLuHmiq3A88OPz0UOhW3CX7tMr68dbIMZSaVeJIzlzUFUf2/UNZk203w8gD9zLVjI6zf/ShK7Z8=

Hi all,

I'm looking to write an IDE extension or plugin for proof development in Coq, and I'm curious if anyone knows where to look to find information on which IDEs support extensions or plugins, and how to go about writing them. Examples would be very useful, too. Please let me know if you can point me toward any of this.

Best,

Talia

[Coq-Club] Writing extensions/plugins for different Coq IDEs, Talia Ringer, 10/18/2018
- Re: [Coq-Club] Writing extensions/plugins for different Coq IDEs, Jim Fehrle, 10/18/2018
- Re: [Coq-Club] Writing extensions/plugins for different Coq IDEs, Xuanrui Qi, 10/18/2018
  - Re: [Coq-Club] Writing extensions/plugins for different Coq IDEs, Talia Ringer, 10/18/2018
    - Re: [Coq-Club] Writing extensions/plugins for different Coq IDEs, Xuanrui Qi, 10/18/2018