Abella

1–30 of 97

0 selected

Todd Wilson, Kaustuv Chaudhuri3

Mar 31

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.

Mar 31

Todd Wilson, Dale Miller4

9/16/21

Nominal renaming

Dear Todd, Thanks for this information, although I think that one part of it is incorrect: Thanks for

unread,

Nominal renaming

Dear Todd, Thanks for this information, although I think that one part of it is incorrect: Thanks for

9/16/21

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

Jinxu Zhao, … Yuting Wang10

12/18/18

Substitution failure for a complex expression

Hi all, I have committed a fix of a bug in the unification engine of Abella described at https://

unread,

Substitution failure for a complex expression

Hi all, I have committed a fix of a bug in the unification engine of Abella described at https://

12/18/18

7/24/18

The point of 'bind_len' in 'term.ml'

In 'term.ml', there is a mutable variable named 'bind_len' which I think stores the

unread,

The point of 'bind_len' in 'term.ml'

In 'term.ml', there is a mutable variable named 'bind_len' which I think stores the

7/24/18

Gopalan Nadathur, Kaustuv Chaudhuri2

5/14/18

a bug in backchain?

Thanks for the report. This is now fixed. https://github.com/abella-prover/abella/commit/5e85c0c4b0

unread,

a bug in backchain?

Thanks for the report. This is now fixed. https://github.com/abella-prover/abella/commit/5e85c0c4b0

5/14/18

5/7/18

Computation-as-deduction in Abella

Dear all, In a recent paper, we proposed a small extension to Abella that would allow it to automate

unread,

Computation-as-deduction in Abella

Dear all, In a recent paper, we proposed a small extension to Abella that would allow it to automate

5/7/18

Search

Clear search

Close search

Google apps

Main menu