Index of /user/avigad/Papers/euclid

	Name	Last modified	Size	Description
	Parent Directory		-
	e.smt	2026-08-27 21:19	15K
	e.tptp	2026-08-27 21:19	3.8K
	e_example.pdf	2026-08-27 21:19	12K