Schreiber smooth (∞,1)-operad

• goal develop theory of dendroidal set-valued ∞-stacks on a site for synthetic differential geometry

• motivating example for $X$ a ∞-Lie groupoid describe a smooth $\mathbb{E}_k$-action on its $k$-fold loop space