Another version of ProofGeneral character, じぇねらるたん
Shell
Latest commit ebcae34 May 25, 2016 Yoshihiro Imai chage license to CC BY-SA 3.0

README.md