Coq: ãªã¹ãããã®åé€ã«ã€ããŠã®è³ªå
å§ããã ã©ããããããšãããããŸããããŸã ãããããèŠããªããšãããªãããšããããŸããã粟é²ããããŸãã:) ã®ãªã(2012/04/14 14:01), å§åž wrote: > éäžãã