~ / t / math2340 / intro-proof /