52 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Trolli Schmittlauch	06483bae4d	added readme with some tooling info	2017-06-17 01:32:29 +02:00
Trolli Schmittlauch	1b9725b7e4	Notizen mit formalen Überlegungen	2017-06-01 01:04:08 +02:00