ATS/LF for Coq users

Google Group
1

I look forward to digesting the slides at some point, looks like a lot of
work went in to this - thanks!On Fri, Sep 11, 2015 at 10:38 PM, Kiwamu Okabe kiw...@debian.or.jp wrote:

Hi all,

Today, I introduced ATS/LF at Japanese local meeting name “Proof Summit”.

ATS/LF for Coq users | PPT

I think it’s useful to learn ATS/LF for all people.

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmsdDRUb%3DbqzkdFARYMBFBHh%2BTn7zWZy1pFENvKgLC9dw%40mail.gmail.com
.

Brandon Barker
brandon...@gmail.com

2

Thanks for the great effort!

I added a news item to the following page:

http://www.ats-lang.org/Community.html

Cheers!On Friday, September 11, 2015 at 10:38:53 PM UTC-4, Kiwamu Okabe wrote:

Hi all,

Today, I introduced ATS/LF at Japanese local meeting name “Proof Summit”.

ATS/LF for Coq users | PPT

I think it’s useful to learn ATS/LF for all people.

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

3

This is beautiful! The ATS/Coq correspondence slides are really useful. I
didn’t really understand any of Coq of until I read those and now I
understand both languages better!On Friday, September 11, 2015 at 9:38:53 PM UTC-5, Kiwamu Okabe wrote:

Hi all,

Today, I introduced ATS/LF at Japanese local meeting name “Proof Summit”.

ATS/LF for Coq users | PPT

I think it’s useful to learn ATS/LF for all people.

Thank’s,

Kiwamu Okabe at METASEPI DESIGN