I have two laptops, one at home, one at work. I tried saving the state
(foo subdirectory, for a foo.mlw file) with git on my home machine, and
pulling onto my work machine. Part of my state is a coq proof. But when
I start up why3 at work and select coq, it asks me to make a new proof,
rather than using the one I already completed. How can I get it to use an
existing coq proof?
Why3-club mailing list