Bigraph Formalization This repository contains my effort to formalize the bigraphs described in Robin Milner's book The Space and Motion of Communicating Agents in Isabelle/HOL.