]>
matita.cs.unibo.it Git - fireball-separation.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
acondolu [Sat, 28 Jul 2018 11:33:15 +0000 (13:33 +0200)]
Proved another lemma (aux1 + aux2)
acondolu [Sat, 28 Jul 2018 08:25:01 +0000 (10:25 +0200)]
One more lemma
acondolu [Fri, 27 Jul 2018 17:36:55 +0000 (19:36 +0200)]
More comments and small fixes
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
projects / fireball-separation.git / log