Yoshiya@kt3k・May 10, 2024, 3:59 AMA proof should be considered as a static tree, instead of a series of dynamic operations on statements.
