zajer/trs

An OCaml library for bigraphical Tracking Reactive Systems

语言：OCaml · GitHub 星标：1 · Fork：0

话题：bigraph · ocaml · ocaml-library · tracking

在 GitHub 上查看原仓库