Why3 generates coq code that contains Implici Arguments ...

Coq 8.7.1 complains that this is deprecated, which seems to be a warning
or error depending on the installation.  Can this problem be resolved
in some way?

thanks,
julia
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to