Submissions from xenaproject.wordpress.com

		Rigorous Mathematics (xenaproject.wordpress.com)
		3 points by ocfnash on Dec 13, 2019 \| past
		A computer-generated proof that nobody understands – Xena (xenaproject.wordpress.com)
		4 points by EvgeniyZh on Nov 16, 2019 \| past \| 2 comments
		A computer-generated proof that nobody understands (xenaproject.wordpress.com)
		1 point by colinprince on Oct 28, 2019 \| past
		What Is the Xena Project? (xenaproject.wordpress.com)
		2 points by mathgenius on July 6, 2019 \| past
		M1F, Imperial Undergraduates, and Lean (xenaproject.wordpress.com)
		2 points by mathgenius on May 20, 2019 \| past
		Xena Project (xenaproject.wordpress.com)
		1 point by jonnybgood on Dec 7, 2018 \| past