testsuite/example-20160218.v · 770b1646d0d7b33f3560decbb505131fd4fdc6e7 · CoqInterval / interval · GitLab

Mentions légales du service

Oct 25, 2019
770b1646
Restore some support for numerical integration as an "integral" tactic. · 770b1646
Guillaume Melquiond authored Oct 25, 2019
```
There is no equivalent to "interval_intro" yet.
```
770b1646
Restore some support for numerical integration as an "integral" tactic.
Guillaume Melquiond authored Oct 25, 2019
```
There is no equivalent to "interval_intro" yet.
```