Make proof obligations and repl pop up when starting
Merge pull request #1 from david-christiansen/ideslave-prover

Make proof obligations and repl pop up when starting