projects / talk / coalgebraic-mu-calculus-cool.git / summary
| description | none |
| owner | Christoph Egger <christoph.egger@fau.de> |
| last change | Tue, 12 Jan 2016 12:48:26 +0000 (13:48 +0100) |
| URL | git://git.siccegge.de/talk/coalgebraic-mu-calculus-cool.git |
| ssh://git@git.siccegge.de/talk/coalgebraic-mu-calculus-cool.git | |
| https://git.siccegge.de/talk/coalgebraic-mu-calculus-cool.git |
| 2016-01-12 | Christoph Egger | Template and stuff master | commit | commitdiff | tree | snapshot |
| 8 years ago | master | shortlog | log | tree |