Unable to satisfy the following constraints: In environment

前端未结

关注

 0  1053

In proof editing mode, in use of the apply tactic, Coq gives me the following error message:

Error:
Unable to satisfy the following constraints:


                      
              相关标签: