abella icon indicating copy to clipboard operation
abella copied to clipboard

Published 20 hours ago • verified publisher icon abella-prover

New first-order examples

Open chaudhuri opened this issue 8 years ago • 3 comments

Some new examples have been proposed for natural numbers, addition, commutativity, etc. by @lambdacalculator.

chaudhuri avatar Feb 12 '17 16:02 chaudhuri

Not a first order example but I've recently been working on formalizations of Intruder Deduction and Observer Theory and related proofs of some basic lemmas on consistency of the theories, which I can soon contribute as an example when the issue #77 gets resolved :) I think I've hit another bug.

kyagrd avatar Feb 14 '17 08:02 kyagrd

Great! Will look at #77 right away since the CADE deadline got moved by a week.

chaudhuri avatar Feb 15 '17 09:02 chaudhuri

@chaudhuri will you consider changing the Github issue label from just text to possibly documentation. I think it would be more meaningful.

amerikan avatar May 23 '19 00:05 amerikan