fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add some move/transport eq lemmas	Jason Gross	2019-04-22
\|
*	Add push_rew_fun_dep	Jason Gross	2019-04-22
\|
*	Add PrimitiveSigma	Jason Gross	2018-09-14
\|
*	Minor refactoring	Jason Gross	2018-06-13
\| \| \| \|	Note that List.repeat (ListUtil.List.repeat) rather than repeat (Coq.Lists.List.repeat) was interfering with extraction
*	Don't rely on autogenerated names	Jason Gross	2017-06-05
\| \| \| \| \| \|	This fixes all of the private-names warnings emitted by compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus the ones in coqprime, which I didn't touch).
*	Add ap_transport to Equality.v	Jason Gross	2017-04-02
\|
*	Add match commutation lemmas	Jason Gross	2017-01-23
\|
*	Minor additions	Jason Gross	2017-01-23
\|
*	Util.Equality on 8.4	Andres Erbsen	2016-08-04
\|
*	Add documentation: Equality, HProp, Isomorphism, Sigma (#41)	Jason Gross	2016-08-01
\| \| \| \| \| \|	* Add doc: Equality, HProp, Isomorphism, Sigma * Update documentation with suggestions from Andres
*	Fixes for Coq 8.4	Jason Gross	2016-08-01
\|
*	Add a lemma about hprop and eq	Jason Gross	2016-07-29
\|
*	Set Asymmetric Patterns, add util lemmas about sig	Jason Gross	2016-07-29