Implementation of bigraphs in Coq.
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
[Bordeaux INP] - connection between IDM and NSS
