Maximilian Keßler c592a7f8ac rework proof package: refproof and proof environments functional		2022-01-08 23:42:40 +01:00
..
Makefile	update gitignore	2021-10-07 18:18:43 +02:00
test.tex	rework proof package: refproof and proof environments functional	2022-01-08 23:42:40 +01:00