5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Trolli Schmittlauch	faf380591b	created placeholder main file	2017-06-19 00:15:15 +02:00
Trolli Schmittlauch	5c84386ba1	add mypy as a requirement	2017-06-18 23:02:12 +02:00
Trolli Schmittlauch	2075f49bd5	instructions on using a venv	2017-06-18 22:49:37 +02:00
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