diff options
| author | Vincent Semeria | 2020-05-10 10:53:56 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-16 15:27:27 +0200 |
| commit | e663b606a3895b7c78ee528a94a5c6a9675683ca (patch) | |
| tree | 6a33be43a5eca3547929f9209ab3f91fa07c430c /dev/ci | |
| parent | ebaaa7371c3a3548ccec1836621726f6d829858a (diff) | |
Prove that classical reals implement constructive reals. Also move sums, min and max to CoRN.
Update stdlib index
Remove ConstructiveSum from the index
Add changelog entry
Make constructive reals experimental
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions