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?
thanks, julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
