8th TPP (2012) in Chiba University – TPPmark

Problem

Slide used in the TPPmark session for explaining the problem

Solutions

Coq 須田啓司(SUDA Keishi), 山本光晴(YAMAMOTO Mitsuharu) (script)
Mizar 師玉康成(Shidama Yasunari), 岡崎裕之(Hiroyuki Okazaki) (script, being updated occasionally)

Date: 2012-11-28T14:28+0900

Author: YAMAMOTO Mitsuharu

Org version 7.9.2+ with Emacs version 24

Validate XHTML 1.0