kframework/k — pull request #870 by yilongli (2014-08-22 02:34:54+00:00)
Title: prove iterative length and sum examples

@andreistefanescu please review