Maximilian Keßler cc853a87e2 rework theorem family generation		2022-01-22 16:19:08 +01:00
..
environments/groupthm	rework theorem family generation	2022-01-22 16:19:08 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00