Cyril/sending input prompts#1

xyrilj wants to merge 5 commits into

mainLightConsultingInc/PromptProof:mainfrom

cyril/sending-input-promptsLightConsultingInc/PromptProof:cyril/sending-input-promptsCopy head branch name to clipboard