talk/coalgebraic-mu-calculus-cool.git
5 years agoTemplate and stuff master
Christoph Egger [Tue, 12 Jan 2016 12:48:26 +0000 (13:48 +0100)]
Template and stuff