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

Reply via email to