The notation you'd use to represent the program/proof is very important.

		ntoshev on Nov 13, 2008 \| parent \| context \| favorite \| on: Google's Plop is implemented in Lisp The notation you'd use to represent the program/proof is very important.