3 Commits

Author	SHA1	Message	Date
Maximilian Keßler (via gitlab runner)	be688d259f	add mathsymbindex package ... Used to define math operators with automatic indexing Still in development, but fully working by now Build branch master (296afc0) from kesslermaximilian/LatexPackages	2022-01-11 19:15:47 +00:00
Maximilian Keßler (via gitlab runner)	425c68b027	add explicit subproof environment ... Build branch master (f4d0797) from kesslermaximilian/LatexPackages	2022-01-09 14:44:56 +00:00
Maximilian Keßler (via gitlab runner)	74edcd4b22	rename proof package to refproof ... Build branch master (bc072ff) from kesslermaximilian/LatexPackages	2022-01-09 13:37:41 +00:00