fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Factor out fsatz lemmas	Jason Gross	2018-01-09
	After \| File Name \| Before \|\| Change \| % Change ------------------------------------------------------------------------- 1m11.42s \| Total \| 1m53.75s \|\| -0m42.33s \| -37.21% ------------------------------------------------------------------------- 1m06.02s \| Curves/Weierstrass/Jacobian \| 1m53.76s \|\| -0m47.73s \| -41.96% 0m05.40s \| Util/FsatzAutoLemmas \| N/A \|\| +0m05.40s \| ∞