Informasi yang berkaitan dengan es/Agda (theorem prover)

Agda
Cantón de Agda
Efebo de Agda
Condado de Agda
Catedral de San Esteban (Agda)
Concilio de Agda