[Hol-info] [CfP] PADL 2018 - abstract submission DEADLINE APPROACHING

[We apology for possible cross posting] Call for Papers === 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.

[Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light?

Hi Mario, John has explained some of his motivation for HOL Light in an email available online at https://sourceforge.net/p/hol/mailman/message/35444612/ Some more information can be found in his email at https://sourceforge.net/p/hol/mailman/message/35446248/ A HOL family tree w

Re: [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light?

Hi Ken, Feel free to ignore if I am mistaken, but I suspect from your message that you are confusing me (Mario Carneiro) with the author of the HOL message (Mario Castelán Castro). Regards, Mario Carneiro On Sep 1, 2017 4:30 PM, "Ken Kubota" wrote: Hi Mario, John has explained some of his mo