Maximilian Keßler 0981e3f2d7 adjust first test to also define theorems directly		2022-02-03 14:04:12 +01:00
..
fancythm	adjust first test to also define theorems directly	2022-02-03 14:04:12 +01:00
groupthm	add benchmark file	2022-01-25 21:10:51 +01:00
Makefile	update gitignore	2021-10-07 18:18:43 +02:00