Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----

... which would make a good paper title.

NOTE: The gibhub.com repo is only intermittently synced with
github.mit.edu. If you're in CSAIL, you should pull from the
github.mit.edu repo.

To build:

	export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
	make