Paolo G. Giarrusso (592f728f) at 02 Jul 14:51
Merge branch 'ralf/filter_dom' into 'master'
... and 13 more commits
Paolo G. Giarrusso (47756278) at 26 May 14:59
Simplify proof of submseteq_app_inv_r
.
... and 58 more commits
Paolo G. Giarrusso (cccb447d) at 26 May 14:56
Merge branch 'herman/vec_finite' into 'master'
... and 106 more commits
Paolo G. Giarrusso (f1d8b960) at 13 Feb 09:50
Paolo G. Giarrusso (f1d8b960) at 07 Feb 15:52
Stop mentioning Coq bug fixed in Coq >= 8.13
Paolo G. Giarrusso (a0a9944b) at 07 Feb 15:51
Stop mentioning Coq bug fixed in Coq >= 8.13
... and 13 more commits
Paolo G. Giarrusso (3b04f543) at 07 Feb 15:48
Merge branch 'fix-typos' into 'master'
... and 12 more commits
Paolo G. Giarrusso (3f754144) at 06 Feb 09:50
Paolo G. Giarrusso (18a4fadb) at 19 Dec 20:10
Stop mentioning Coq bug fixed in Coq >= 8.13
Paolo G. Giarrusso (13fdba84) at 16 Dec 09:27
Paolo G. Giarrusso (23391b91) at 16 Dec 09:06
Enable Hint Mode Equiv
now that stdpp requires Coq 8.12
... and 1 more commit
Paolo G. Giarrusso (a5d1f16c) at 14 Dec 01:30
Merge branch 'ralf/size_list_to_map' into 'master'
... and 3 more commits
Paolo G. Giarrusso (fb4b91fe) at 13 Dec 21:51
Paolo G. Giarrusso (3c6ebc4b) at 13 Dec 21:13
Merge branch 'ralf/map_zip_with_empty' into 'master'
... and 20 more commits
Paolo G. Giarrusso (fb4b91fe) at 13 Dec 21:04
option.v: Add option_guard_decide and option_guard_bool_decide
... and 21 more commits