Agda (Korean Wikipedia)

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

Last modified: 18:26:25, 7 August 2025 (UTC)

Ref.Un. Ref.Website

Global rank Korean rank

1^st place

low place

3,639^th place

low place

low place

6,139^th place

low place

atom.io (Global: low place; Korean: low place)

“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)에서 보존된 문서.