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

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

projects / fireball-separation.git / shortlog

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2018-07-28	acondolu	Proved another lemma (aux1 + aux2) latex	commit \| commitdiff \| tree \| snapshot
2018-07-28	acondolu	One more lemma	commit \| commitdiff \| tree \| snapshot
2018-07-27	acondolu	More comments and small fixes	commit \| commitdiff \| tree \| snapshot
2018-07-27	acondolu	Working on the conservation of eta inequality, seems...	commit \| commitdiff \| tree \| snapshot
2018-07-17	acondolu	Almost complete proof of Lemma 2	commit \| commitdiff \| tree \| snapshot
2018-07-16	acondolu	Prime definizioni, verso prova correttezza nostro algoritmo	commit \| commitdiff \| tree \| snapshot
2018-06-13	acondolu	Yet another attempt at defining distinction with garbage	commit \| commitdiff \| tree \| snapshot
2018-06-12	acondolu	New ac's attempt at defining distinction with garbage	commit \| commitdiff \| tree \| snapshot
2018-06-08	acondolu	Tentative definitions of variable names and variable...	commit \| commitdiff \| tree \| snapshot
2018-06-07	acondolu	Tentative definition of unlockable variable	commit \| commitdiff \| tree \| snapshot
2018-06-07	acondolu	Syntactic fixes to distinction + Some commented out...	commit \| commitdiff \| tree \| snapshot
2018-06-05	acondolu	Added file with strong calculus and definition of disti...	commit \| commitdiff \| tree \| snapshot
2018-06-04	acondolu	Thoughts on sigma-separation and a good sufficient...	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Fixes	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Added strong calculus for separation, plus some ac...	commit \| commitdiff \| tree \| snapshot
2018-05-29	acondolu	Added AC's local stub of a report on strong separation	commit \| commitdiff \| tree \| snapshot
2017-06-12	Andrea Condoluci	Initial commit	commit \| commitdiff \| tree \| snapshot

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