Agda (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "Agda" in Korean language version.

refsWebsite

Global rank Korean rank

1^st place

low place

1,749^th place

low place

low place

9,369^th place

low place

7,681^st place

atom.io

“Agda: An Interactive Proof Editor”. 2011년 10월 8일에 원본 문서에서 보존된 문서. 2014년 10월 20일에 확인함.

Coquand, Catarina; Synek, Dan; Takeyama, Makoto. 《An Emacs interface for type directed support constructing proofs and programs》 (PDF). European Joint Conferences on Theory and Practice of Software 2005. 2011년 7월 22일에 원본 문서 (PDF)에서 보존된 문서.

“Agda: An Interactive Proof Editor”. 2011년 10월 8일에 원본 문서에서 보존된 문서. 2014년 10월 20일에 확인함.
Coquand, Catarina; Synek, Dan; Takeyama, Makoto. 《An Emacs interface for type directed support constructing proofs and programs》 (PDF). European Joint Conferences on Theory and Practice of Software 2005. 2011년 7월 22일에 원본 문서 (PDF)에서 보존된 문서.