aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ListUtil
Commit message (Expand)AuthorAge
* Add Forall2_Proper instancesGravatar Jason Gross2019-03-08
* Add Forall2_map_map_iffGravatar Jason Gross2019-03-08
* Add Forall2_forall_In_combine_iffGravatar Jason Gross2019-03-07
* Fix broken proofsGravatar Jason Gross2018-12-04
* Add more Forall2 lemmasGravatar Jason Gross2018-12-04
* Add more ListUtil Forall LemmasGravatar Jason Gross2018-12-04
* Add some ListUtil lemmas about Forall2Gravatar Jason Gross2018-12-04
* Add eqlistA_eq_iffGravatar Jason Gross2018-10-29
* Add ListUtil.ForallInGravatar Jason Gross2018-10-09
* Add nth_error_Proper_eqlistAGravatar Jason Gross2018-09-14
* Add list_elementwise_eqlistAGravatar Jason Gross2018-09-14
* Fix previous commitGravatar Jason Gross2018-08-13
* Move a lemmaGravatar Jason Gross2018-08-13
* Add some util lemmasGravatar Jason Gross2018-08-13
* Add some lemmas and defs to ListUtil.FoldBoolGravatar Jason Gross2018-06-14
* Add ListUtil.ForallGravatar Jason Gross2017-11-11
* Add fold_left_orb_true, fold_left_orb_pullGravatar Jason Gross2017-06-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 20:11:34 +0000