Revision c397f3e859c85b4c04d32c6e36ba2ba173586b55 authored by Dominique Larchey-Wendling on 10 December 2019, 12:34:29 UTC, committed by Dominique Larchey-Wendling on 10 December 2019, 12:34:29 UTC
which is much more acurate. It could be possible to rework the shape of the Diophantine characterization of alpha and expo to take dio_fun better into account ...
1 parent 88e60c7
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...