Pocket KrHyper 20 Jun 11 in Science & Education, Math Pocket KrHyper is a theorem proving library for J2ME mobile... read more