Add ProofMode.SynthInstance #108

markusdemedeiros merged 6 commits intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

MackieLoeffel:msammler/ipm_synth_instanceMackieLoeffel/iris-lean:msammler/ipm_synth_instanceCopy head branch name to clipboard