nixpkgs / coqPackages.interval - Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant

Homepage - https://gitlab.inria.fr/coqinterval/interval

License - CECILL-C

Maintainers - Vincent Laporte

Releases

4.3.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
4.1.0 (expand/collapse)
From commit 074ef76e to 074ef76e
4.3.0 (expand/collapse)
From commit 0649d2c8 to 07557e3b
4.1.1 (expand/collapse)
From commit 06f7d4c1 to 005c8088
4.3.0 (expand/collapse)
From commit 07a2a42e to 035dcc0e
4.1.1 (expand/collapse)
From commit 01c146d4 to 01c146d4
4.3.0 (expand/collapse)
From commit 04b8bee5 to 05f058b9
4.1.1 (expand/collapse)
From commit 07491d57 to 07491d57
4.3.0 (expand/collapse)
From commit 04855119 to 05cba478
4.1.0 (expand/collapse)
From commit 065a8102 to 065a8102
4.3.0 (expand/collapse)
From commit 04de1306 to 04de1306
4.1.1 (expand/collapse)
From commit 07811f56 to 07811f56
4.3.0 (expand/collapse)
From commit 05f0fbc0 to 03507abd
4.1.1 (expand/collapse)
From commit 01c5b018 to 0307a8af
4.3.0 (expand/collapse)
From commit 064b1e0c to 064b1e0c
4.1.1 (expand/collapse)
From commit 044053e2 to 0312e69d
4.1.0 (expand/collapse)
From commit 03582eb6 to 03582eb6
4.1.1 (expand/collapse)
From commit 035434d8 to 062e1e59
4.1.0 (expand/collapse)
From commit 03c09257 to 03c09257
4.1.1 (expand/collapse)
From commit 037e5170 to 075953b7
4.1.0 (expand/collapse)
From commit 05065605 to 05065605
4.1.1 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
4.1.0 (expand/collapse)
From commit 074b608d to 074b608d
4.1.1 (expand/collapse)
From commit 0326ec60 to 07e4cbde
4.1.0 (expand/collapse)
From commit 0432a816 to 0432a816
4.1.1 (expand/collapse)
From commit 07d9edea to 03108183
4.1.0 (expand/collapse)
From commit 07bb1100 to 07bb1100
4.1.1 (expand/collapse)
From commit 021813a4 to 060286eb
4.1.0 (expand/collapse)
From commit 033208fd to 062526f7
4.0.0 (expand/collapse)
From commit 04946f42 to 04946f42
4.1.0 (expand/collapse)
From commit 05ca995e to 06623ebd
4.0.0 (expand/collapse)
From commit 06c0f165 to 06c0f165
4.1.0 (expand/collapse)
From commit 0575e0d2 to 075da392
4.0.0 (expand/collapse)
From commit 06749ba3 to 0380ee43
3.4.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
4.0.0 (expand/collapse)
From commit 015c5a2b to 0096eb92
3.4.2 (expand/collapse)
From commit 00347e95 to 00347e95
4.0.0 (expand/collapse)
From commit 063c756b to 00946dc2
3.4.2 (expand/collapse)
From commit 00d8c11a to 00d8c11a
4.0.0 (expand/collapse)
From commit 003fa57c to 03197f94
3.4.2 (expand/collapse)
From commit 020a2121 to 020a2121
4.0.0 (expand/collapse)
From commit 041f70f6 to 041f70f6
3.4.2 (expand/collapse)
From commit 0052523a to 0052523a
4.0.0 (expand/collapse)
From commit 01ff24f1 to 01ff24f1
3.4.2 (expand/collapse)
From commit 066544a7 to 03b9e494
3.4.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
3.4.2 (expand/collapse)
From commit 031cc88a to 0456d939
3.4.1 (expand/collapse)
From commit 07076e9f to 07076e9f
3.4.2 (expand/collapse)
From commit 026b4eb3 to 0410f5df
3.4.1 (expand/collapse)
From commit 0269421b to 0269421b
3.4.2 (expand/collapse)
From commit 00915d4e to 00e56c1d
3.4.1 (expand/collapse)
From commit 01cb371c to 01cb371c
3.4.2 (expand/collapse)
From commit 049b68be to 0260f04f
3.4.1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
3.4.2 (expand/collapse)
From commit 06db3319 to 008e7e32
3.4.1 (expand/collapse)
From commit 061f2b35 to 061f2b35
3.4.2 (expand/collapse)
From commit 0091e035 to 0270bea4
3.4.1 (expand/collapse)
From commit 05f8cba1 to 05f8cba1
3.4.2 (expand/collapse)
From commit 01ce5d44 to 0242e11c
3.4.1 (expand/collapse)
From commit 0149d368 to 0149d368
3.4.2 (expand/collapse)
From commit 02d82b5a to 038e044c
3.4.1 (expand/collapse)
From commit 0218f30a to 03f13ede
3.4.0 (expand/collapse)
From commit 0767de3d to 0767de3d
3.4.1 (expand/collapse)
From commit 0302d8de to 00610756
3.4.0 (expand/collapse)
From commit 065c6ed9 to 065c6ed9
3.4.1 (expand/collapse)
From commit 0281599a to 06734a93
3.4.0 (expand/collapse)
From commit 071a4db3 to 071a4db3
3.4.1 (expand/collapse)
From commit 011fa89b to 0732203c
3.4.0 (expand/collapse)
From commit 04551d26 to 0722e886
8.4-2.2.1 (expand/collapse)
From commit 007d1b41 to 03f2888b
8.4-2.1.0 (expand/collapse)
From commit 010724bc to 010724bc
8.4-2.2.1 (expand/collapse)
From commit 049357bb to 074d1f2f
8.4-2.1.0 (expand/collapse)
From commit 00f6ce13 to 067467ed
8.4-2.0.0 (expand/collapse)
From commit 042f266e to 03c1f6db