Abella

Notice: due to multiple requests, the deadlines for LFMTP24 have been extended as follow: * abstract

Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) https://lfmtp.github.io/lfmtp-

Dear Todd, Thanks for bringing up the issue about Abella's Reference Guide and your list of

Dear colleagues, Abella 2.0.8 is now released. Please see the changelog for details of this release.

Dear Todd, Unfortunately, I have not thought about this issue of quantification for defining binary

Dear Todd, If this isn't a bug, it's certainly a weird interaction that should be documented.

On Monday, May 10, 2021 at 11:34:15 PM UTC-7 Kaustuv Chaudhuri wrote: I'm a bit hesitant to

============================================================= Call for papers Logical Frameworks and

============================================================= Call for papers Logical Frameworks and

ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science 13-15 September 2021, Bologna,

============================================================= Call for papers Logical Frameworks and

I can confirm that 2.0.7 is now installable directly via opam. Thanks!

============================================================= Call for papers Logical Frameworks and

[Apologies if you received multiple copies of this CFP] CALL FOR PAPERS Logical Frameworks and Meta-

Hi Kaustuv, Sure! I have a grammar for types that I want to represent as a mixed inductive-

WFLP 2020: Deadline Extension ============================= 28th International Workshop on Functional

========================== WFLP 2020: Call for Papers ========================== 28th International

Hi, It took me a while to understand the ELPI code. It looks like that in the first specification,

Dear Colleagues, we would like to announce a few changes to the LFMTP 2020 workshop, that is

The W3Proof project at Inria Saclay proposes to build the foundations for a distributed Web-like

I've just noticed a recent publication: Yannick Forster, Ohad Kammar, Sam Lindley, and Matija

Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2020 Paris, France 29 June 2020

CALL FOR PAPERS Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2020 Paris, France

Dear Dale, The following is my statistics: 64 files 760 objects 9824 loc : Abella repository 55 files

I'll second this expression of wondering. I just added a question on the relevant ticket (Improve

That did it, thanks. Following the PG documentation, I had tried adding this to proof-mode-hook, but

Siva: I am working towards a modification of Abella that permits reasoning about linear logic

Thanks for the report. This is fixed now in master. https://github.com/abella-prover/abella/issues/

Abella version 2.0.6 is now officially released. As Yuting Wang has already mentioned on this list,

Thanks to everyone for their quick responses. I've now confirmed or had confirmation that Abella