francoisschwarzentruber/prooffold

Different styles of panels (proof by contradiction, induction etc.)

francoisschwarzentruber opened this issue 3 years ago · 0 comments

francoisschwarzentruber commented 3 years ago

Different styles of panels (proof by contradiction, induction etc.)