I am new to Coq. And I just installed Coq 2 days ago. It seems successfully installed since I can run some basic proof program. The issue was after I saved it, the next time I opened the file it was empty.
I tried tons of times and saved it, but the same, it cannot be saved anything.
Another weird thing my friend and I download the exactly same .v file from the same website, and she could see the contents of the file, but mine was empty. I was wondering if I made something wrong while I installed Coq. Or maybe there are some rules that the coq file should be saved with the coq application in the same folder or something else>>>>????
question from:
https://stackoverflow.com/questions/65713396/coq-projects-cannot-be-saved-properly-empty-file 与恶龙缠斗过久,自身亦成为恶龙；凝视深渊过久,深渊将回以凝视…
