]> matita.cs.unibo.it Git - fireball-separation.git/shortlog
fireball-separation.git
2018-07-16 acondoluPrime definizioni, verso prova correttezza nostro algoritmo
2018-06-13 acondoluYet another attempt at defining distinction with garbage
2018-06-12 acondoluNew ac's attempt at defining distinction with garbage
2018-06-08 acondoluTentative definitions of variable names and variable...
2018-06-07 acondoluTentative definition of unlockable variable
2018-06-07 acondoluSyntactic fixes to distinction + Some commented out...
2018-06-05 acondoluAdded file with strong calculus and definition of disti...
2018-06-04 acondoluThoughts on sigma-separation and a good sufficient...
2018-05-29 acondoluFixes
2018-05-29 acondoluAdded strong calculus for separation, plus some ac...
2018-05-29 acondoluAdded AC's local stub of a report on strong separation
2017-06-12 Andrea CondoluciInitial commit