Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Abella
Conversations
About
Abella
1–30 of 97
Mark all as read
Report abusive group
0 selected
Todd Wilson
,
Kaustuv Chaudhuri
3
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 Miller
4
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 Chaudhuri
3
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
Enrico Tassi
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
Enrico Tassi
2
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
Enrico Tassi
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 Chaudhuri
5
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
Enrico Tassi
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
Alwen Tiu
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 Chaudhuri
3
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 Wang
5
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
Dale Miller
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
Dale Miller
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
Alwen Tiu
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 Wang
2
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 Wilson
5
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 Chaudhuri
7
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 DaCosta
8
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 Chaudhuri
3
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 2.0.6
Abella version 2.0.6 is now officially released. As Yuting Wang has already mentioned on this list,
unread,
Abella 2.0.6
Abella version 2.0.6 is now officially released. As Yuting Wang has already mentioned on this list,
1/8/19
Kaustuv Chaudhuri
, …
Dale Miller
6
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 Wang
10
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
Yuting Wang
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 Chaudhuri
2
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
Ulysse Gérard
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