bizcoq2021 BMETE91AM58 Telepítés Mindenféleszoftverek,manualok,modulok,stb。 elérhetőségealapvetőenitt: 获胜:Coqfülalatt a Win赢得比赛,并赢得比赛。 Aki Emacs-othasználvagyhasználna,annaktovábbiismertető: 。 Ehhezszükséges证明他是通用证明,这是Emacsmeghív提出的。 亚希NEM szereti AZ的Emacs-OT,annak一个rendelkezésére全部CoqIDEszerkes