Abella

Contact owners and managers

1–30 of 101

0 selected

Claudio Sacerdoti Coen

Apr 29

Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)

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

unread,

Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)

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

Apr 29

Claudio Sacerdoti Coen

Feb 8

CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)

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

unread,

CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)

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

Feb 8

Todd Wilson, Dale Miller2

Jan 22

Documentation update?

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

unread,

Documentation update?

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

Jan 22

Kaustuv Chaudhuri2

11/2/23

Release: Abella 2.0.8 Release Candidate 1

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

unread,

Release: Abella 2.0.8 Release Candidate 1

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

11/2/23

Todd Wilson, Dale Miller6

4/11/23

Nominal renaming

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

unread,

Nominal renaming

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

4/11/23

Todd Wilson, Kaustuv Chaudhuri3

3/31/23

Polymorphism and subordination

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

unread,

Polymorphism and subordination

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

3/31/23

Todd Wilson, Kaustuv Chaudhuri3

5/11/21

unfold n and unfold with

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

unread,

unfold n and unfold with

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

5/11/21

4/19/21

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice - Extended Deadline

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

unread,

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice - Extended Deadline

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

4/19/21

4/16/21

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

unread,

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

4/16/21

Claudio Sacerdoti Coen

3/25/21

CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

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

unread,

CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

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

3/25/21

3/15/21

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

unread,

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

3/15/21

Todd Wilson, Kaustuv Chaudhuri5

1/30/21

Problem installing 2.0.6 from opam

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

unread,

Problem installing 2.0.6 from opam

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

1/30/21

1/15/21

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

unread,

[CFP] Logical Frameworks and Meta-Languages: Theory and Practice

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

1/15/21

8/25/20

LFMTP 2020 Post-Proceedings: Call for Papers

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

unread,

LFMTP 2020 Post-Proceedings: Call for Papers

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

8/25/20

siva.som...@gmail.com, Kaustuv Chaudhuri3

7/25/20

Mutual (co)inductive relations?

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

unread,

Mutual (co)inductive relations?

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

7/25/20

Claudio Sacerdoti Coen

7/5/20

WFLP 2020: Deadline Extension

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

unread,

WFLP 2020: Deadline Extension

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

7/5/20

Claudio Sacerdoti Coen

5/1/20

WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

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

unread,

WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

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

5/1/20

Enrico Tassi, … Yuting Wang5

4/23/20

Writing an specifying a lambda Prolog interpreter

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

unread,

Writing an specifying a lambda Prolog interpreter

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

4/23/20

Claudio Sacerdoti Coen

4/16/20

LFMTP 2020 CFP (UPDATES due to Coronavirus)

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

unread,

LFMTP 2020 CFP (UPDATES due to Coronavirus)

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

4/16/20

4/1/20

Ph.D. position in formal proof and trust at Inria Saclay

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

unread,

Ph.D. position in formal proof and trust at Inria Saclay

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

4/1/20

3/10/20

JFP 2019 paper using Abella

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

unread,

JFP 2019 paper using Abella

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

3/10/20

Claudio Sacerdoti Coen

2/26/20

CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning

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

unread,

CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning

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

2/26/20

2/26/20

CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020)

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

unread,

CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020)

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

2/26/20

Dale Miller, Yuting Wang2

1/19/20

a survey of Abella users

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

unread,

a survey of Abella users

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

1/19/20

안기영, … Todd Wilson5

2/23/19

Is the tool generating html outputs on hompage openly available?

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

unread,

Is the tool generating html outputs on hompage openly available?

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

2/23/19

Todd Wilson, Kaustuv Chaudhuri7

2/6/19

Proof General question

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

unread,

Proof General question

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

2/6/19

Siva Somayyajula, … Dan DaCosta8

1/28/19

Encoding substructurality

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

unread,

Encoding substructurality

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

1/28/19

Jinxu Zhao, … Kaustuv Chaudhuri3

1/11/19

A BUG that unexpectedly unifies term with arbitrary equality

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

unread,

A BUG that unexpectedly unifies term with arbitrary equality

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

1/11/19

Kaustuv Chaudhuri

1/8/19

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

unread,

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

1/8/19

Kaustuv Chaudhuri, … Dale Miller6

1/7/19

Abella 2.0.6 beta 1

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

unread,

Abella 2.0.6 beta 1

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

1/7/19

Search

Clear search

Close search

Google apps

Main menu