Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
interval
src
Tactic.v
Find file
Blame
History
Permalink
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