てすと

てすと

coqによるlistの結合が結合律を満すことの証明

http://www.nicovideo.jp/watch/sm10828608