BiCoq

Project information

Implementation of bigraphs in Coq.

359 Commits
15 Branches
0 Tags

README

Created on

January 30, 2023

Loading