玩弄塔斯基的欧几里德几何公理。Playing with Tarski s axioms for Euclidean geometry. (2024-07-27, Makefile, 0KB, 下载0次)