I re do it all on a real ubuntu 16.04 using the same step I used in WSL.
This time It works fine.
So it is environment depended error.
This time the prover 'zenon' can prove it. So I decide not use WSL when at the begging time of my study.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx
Visit this group at https://groups.google.com/group/tlaplus
For more options, visit https://groups.google.com/d/optout