fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add Forall2_Proper instances	Jason Gross	2019-03-08
\|
*	Add Forall2_map_map_iff	Jason Gross	2019-03-08
\|
*	Add Forall2_forall_In_combine_iff	Jason Gross	2019-03-07
\|
*	Fix broken proofs	Jason Gross	2018-12-04
\|
*	Add more Forall2 lemmas	Jason Gross	2018-12-04
\|
*	Add more ListUtil Forall Lemmas	Jason Gross	2018-12-04
\|
*	Add some ListUtil lemmas about Forall2	Jason Gross	2018-12-04
\|
*	Add eqlistA_eq_iff	Jason Gross	2018-10-29
\|
*	Add ListUtil.ForallIn	Jason Gross	2018-10-09
\|
*	Add nth_error_Proper_eqlistA	Jason Gross	2018-09-14
\|
*	Add list_elementwise_eqlistA	Jason Gross	2018-09-14
\|
*	Fix previous commit	Jason Gross	2018-08-13
\|
*	Move a lemma	Jason Gross	2018-08-13
\|
*	Add some util lemmas	Jason Gross	2018-08-13
\|
*	Add some lemmas and defs to ListUtil.FoldBool	Jason Gross	2018-06-14
\|
*	Add ListUtil.Forall	Jason Gross	2017-11-11
\|
*	Add fold_left_orb_true, fold_left_orb_pull	Jason Gross	2017-06-20