We are in the context of "who verifies the verifier?" :-)

		andychiare 7 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem We are in the context of "who verifies the verifier?" :-)
		help