coq/theories/Bool, branch master The formal proof system Modify Bool/Zerob.v to compile with -mangle-names 2020-12-16T04:48:37+00:00 Jasper Hugunin 2020-12-16T04:48:37+00:00 051f55b15195f77374dd434c05d4a13251b3f8bc 






Modify Bool/IfProp.v to compile with -mangle-names
2020-12-16T04:47:27+00:00

Jasper Hugunin

2020-12-16T04:47:27+00:00

7f6883f9a5a6593e667ba4e21fdeccda5c80c589












Modify Bool/DecBool.v to compile with -mangle-names
2020-12-16T04:46:40+00:00

Jasper Hugunin

2020-12-16T04:46:40+00:00

303b167ff91e014768ee0286bf8dc0e202778b56












Modify Bool/BoolEq.v to compile with -mangle-names
2020-12-16T04:45:50+00:00

Jasper Hugunin

2020-12-16T04:45:50+00:00

4c4fb148fa874da2065501d70f757c27685957cd












Explicitly annotate all hint declarations of the standard library.
2020-11-16T11:28:27+00:00

Pierre-Marie Pédrot

2020-11-14T16:55:07+00:00

68cd077344ce37db1a601079dbc4fdcae6c8d41f

By default Coq stdlib warnings raise an error, so this is really required.





By default Coq stdlib warnings raise an error, so this is really required.







Modify Bool/Sumbool.v to compile with -mangle-names
2020-10-09T22:36:18+00:00

Jasper Hugunin

2020-10-09T22:36:18+00:00

6e0585f4b05c92f3dfebdd0bc6907e1b0cce1f4a












Modify Bool/Bool.v to compile with -mangle-names
2020-08-25T20:53:31+00:00

Jasper Hugunin

2020-08-24T19:25:39+00:00

afdfbcfcb2156b22527df1d8d019f6f667145689












[micromega] native support for boolean operators
2020-06-14T09:26:41+00:00

Frédéric Besson

2020-05-11T09:59:42+00:00

f8e91cb0a227a2d0423412e7533163568e1e9fdf

The syntax of formulae is extended to support boolean constants (true,
false), boolean operators Bool.andb, Bool.orb, Bool.implb, Bool.negb,
Bool.eqb and comparison operators Z.eqb, Z.ltb, Z.gtb, Z.leb and
Z.ltb.





The syntax of formulae is extended to support boolean constants (true,
false), boolean operators Bool.andb, Bool.orb, Bool.implb, Bool.negb,
Bool.eqb and comparison operators Z.eqb, Z.ltb, Z.gtb, Z.leb and
Z.ltb.







rename Bool.leb into Bool.le (same for ltb and compareb)
2020-05-07T20:46:01+00:00

Olivier Laurent

2020-05-07T12:12:00+00:00

1019cb48c80260d7df27096826e8594ec242dc5a












Merge PR #12008: [stdlib] Add order properties about bool
2020-05-06T19:28:47+00:00

Anton Trunov

2020-05-06T19:28:47+00:00

2dd59422a4f2ba1d6e75e710b88129751379aa79

Reviewed-by: anton-trunov
Reviewed-by: herbelin





Reviewed-by: anton-trunov
Reviewed-by: herbelin