TPP'10 Home
TPPmark10
- The problem.
- Solution using Coq by Jacques Garrigue:
garrigue.v.
- Solution using Coq by Yoichi Hirai:
hirai.v.
- Solution using Coq by Yoshihiro Imai:
Ban.
- Solution using Isabelle by Yasuhiko Minamide:
minamide.thy.
Last update: Novermber 26, 2010.