|
|
264898f2ae
|
fix infinite recursion bug in claim counter. fix some spacing
Build branch master (47449c5) from kesslermaximilian/LatexPackages
|
2022-01-09 19:21:33 +00:00 |
|
|
|
425c68b027
|
add explicit subproof environment
Build branch master (f4d0797) from kesslermaximilian/LatexPackages
|
2022-01-09 14:44:56 +00:00 |
|
|
|
74edcd4b22
|
rename proof package to refproof
Build branch master (bc072ff) from kesslermaximilian/LatexPackages
|
2022-01-09 13:37:41 +00:00 |
|
