pi8027/typeinfer — Issue #40: p8 証明木
Author: cutsea110
Created: 2011-11-13 23:01:40+00:00
State: open

分るんだけど、「証明木」という言葉がいきなりでてきた。
証明だけでもよさそうだし、この後も証明木という言葉がでてきてたので、使うなら一応こういうのを証明木と呼びます。って説明はした方がいいかも。
脚注でもいいので。