]>
matita.cs.unibo.it Git - fireball-separation.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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