If you're doing it for fun anyway, why not use the language that gives you the m...

		c7b 6 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem If you're doing it for fun anyway, why not use the language that gives you the most pleasure?
		help