matita.cs.unibo.it Git - fireball-separation.git/log

]> matita.cs.unibo.it Git - fireball-separation.git/log

acondolu [Fri, 27 Jul 2018 17:23:18 +0000 (19:23 +0200)]

Working on the conservation of eta inequality, seems feasible
just A LOT of subcases

acondolu [Tue, 17 Jul 2018 10:55:52 +0000 (11:55 +0100)]

Almost complete proof of Lemma 2
*** Passo su carta a cercare prova di Lemma 3 ***

acondolu [Mon, 16 Jul 2018 09:19:07 +0000 (10:19 +0100)]

Prime definizioni, verso prova correttezza nostro algoritmo

acondolu [Wed, 13 Jun 2018 10:20:00 +0000 (12:20 +0200)]

Yet another attempt at defining distinction with garbage

acondolu [Tue, 12 Jun 2018 10:27:25 +0000 (12:27 +0200)]

New ac's attempt at defining distinction with garbage

acondolu [Fri, 8 Jun 2018 21:41:12 +0000 (23:41 +0200)]

Tentative definitions of variable names and variable paths

acondolu [Thu, 7 Jun 2018 14:58:59 +0000 (16:58 +0200)]

Tentative definition of unlockable variable

acondolu [Thu, 7 Jun 2018 07:28:03 +0000 (09:28 +0200)]

Syntactic fixes to distinction + Some commented out definitions to be used in the future

acondolu [Tue, 5 Jun 2018 17:44:05 +0000 (19:44 +0200)]

Added file with strong calculus and definition of distinction

acondolu [Mon, 4 Jun 2018 23:31:39 +0000 (01:31 +0200)]

Thoughts on sigma-separation and a good sufficient condition

acondolu [Tue, 29 May 2018 16:40:06 +0000 (18:40 +0200)]

Fixes

acondolu [Tue, 29 May 2018 14:01:51 +0000 (16:01 +0200)]

Added strong calculus for separation, plus some ac's notes

acondolu [Tue, 29 May 2018 12:45:16 +0000 (14:45 +0200)]

Added AC's local stub of a report on strong separation

Andrea Condoluci [Mon, 12 Jun 2017 20:17:57 +0000 (22:17 +0200)]

Initial commit

Unnamed repository; edit this file 'description' to name the repository.