GitHub repository: pilif0/bigraph
Primary language: Isabelle
Created: 2019-07-03T17:44:34Z
Description: Formalization of Robin Milner's bigraphs in Isabelle/HOL