Mentions légales du service

Skip to content

Handle new representation of rational constants in Coq 8.13

Pierre Roux requested to merge rational-constants into master

Constants like 0.1 are no longer parsed by CoqInterval with Coq 8.13, this patch is fixing that.

Merge request reports

Loading