Skip to main content

Browse the archive

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 
reworked the definitions dio_expr now becomes dio_fun
 
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
Raw File
.gitignore 
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
back to top