Maximilian Keßler 7b136e0a65 implement theorem group rules		2022-01-18 00:15:02 +01:00
..
environments/groupthm	implement theorem group rules	2022-01-18 00:15:02 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00