coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Suggestions for Proof General?

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Suggestions for Proof General?
Date: Fri, 17 Jun 2016 11:04:45 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:+laneR0TsPv9e8JnsmDT+DRfVm0co7zxezQtwd8ZsegSL/ad9pjvdHbS+e9qxAeQG96LurQV06GJ7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZXvnL/ss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGCCLZ34RVHkhqhtURk3u6BjnUpr1+n/xsud41S+Ge9X3UZg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE=

On 2016-06-17 10:12, Emilio Jesús Gallego Arias wrote:
> Gabriel Scherer
> <gabriel.scherer AT gmail.com>
> writes:
>
>> If anyone knows for example how to get a rendering as nice as
>
>> http://homes.cs.washington.edu/~jrw12/dep-destruct.html
>
>> for a Coq-using blog post, I'm all ears.)
>
> Even if still not 100% production ready, I would recommend tyring jscoq
> for that use case. A 5 minutes hack:

Very nice!
I wonder if we could get a CDN for jscoq; this way it would get automatically
updated :)

> Also, support for Provila-like features is planned.

!! :)

Attachment: signature.asc
Description: OpenPGP digital signature

Re: [Coq-Club] Suggestions for Proof General?, (continued)