[llm] playground for LLM-related interaction#1019

strub wants to merge 2 commits into

mainEasyCrypt/easycrypt:mainfrom

llm-interactiveEasyCrypt/easycrypt:llm-interactiveCopy head branch name to clipboard