| Branch: | Revision:

root @ master

Latest revisions

# Date Author Comment
fd151563 04/14/2016 06:02 PM Tadeusz Litak

list of problems we're stuck on right now

5421d2fc 04/14/2016 10:51 AM Ulrich


4737e1e1 04/13/2016 03:38 PM Ulrich Rabenstein

stated lemma 3.5, but lemma 3.4 is still not proved and there are still issues with the framework

28ee3837 04/12/2016 11:22 AM Ulrich

README file because the mess of files is confusing at the moment. Proved one case of red_closed in lambdaMuBasic2_term.v, stuck in the other one.

0184c02e 04/11/2016 04:27 PM Ulrich

new / modified attempts...

29674475 04/08/2016 03:08 PM Ulrich

tried to work with the approach from Philippe Audebaud. Looks promising, but doesn't really work...

26ebd080 04/05/2016 02:24 PM Ulrich Rabenstein

lemma 3.3 proofed. finally.

7ffd5470 04/05/2016 11:56 AM Ulrich Rabenstein

added closure of red as a setoid

e029d5ac 04/04/2016 11:12 PM Ulrich

worked on proofs of lift_trans and lemma 3.3

06dd968f 04/04/2016 04:12 PM Ulrich Rabenstein

work in progress

View all revisions | View revisions

Also available in: Atom