“Agda theorem prover”的意思、由来-开放百科全书

词条	Agda theorem prover
释义	SeeAgda (programming language)
随便看	Dvāraka kingdom Dvě matky Dvīpa DW 1 Dw4 DW-5600C DW-5600E DW6 DW7 DW8 Dwa Dwaallicht Dwaar Kill Dwaar Kill (disambiguation) Dwaar Kill (New York) Dwaarkill (New York) Dwaarkill, New York Dwaar Kill (Shawangunk Kill tributary) Dwaar Kill (Wallkill River tributary) Dwaars Kill DWAC (disambiguation) Dwadashi Dwadasi D Wade DWA (disambiguation)

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。