lean-interactive-html: add plugin for generating interactive HTML artifacts#6

mkucharski17 wants to merge 1 commit into

mainleancodepl/ai-plugins:mainfrom

lean-interactive-htmlleancodepl/ai-plugins:lean-interactive-htmlCopy head branch name to clipboard