projects / fireball-separation.git / search
| 2018-06-12 | acondolu | New ac's attempt at defining distinction with garbage |
commit | commitdiff | tree |
| 2018-06-08 | acondolu | Tentative definitions of variable names and variable... |
commit | commitdiff | tree |
| 2018-06-07 | acondolu | Tentative definition of unlockable variable |
commit | commitdiff | tree |
| 2018-06-07 | acondolu | Syntactic fixes to distinction + Some commented out... |
commit | commitdiff | tree |
| 2018-06-05 | acondolu | Added file with strong calculus and definition of distinction |
commit | commitdiff | tree |
| 2018-06-04 | acondolu | Thoughts on sigma-separation and a good sufficient... |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Fixes |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Added strong calculus for separation, plus some ac... |
commit | commitdiff | tree |
| 2018-05-29 | acondolu | Added AC's local stub of a report on strong separation |
commit | commitdiff | tree |
| 2017-06-12 | Andrea Condoluci | Initial commit |
commit | commitdiff | tree |