print_proofZF.js 1.39 KB