package lascar
A library for manipulating Labeled Transition Systems in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6
md5=ef21f44866b619b8da4d578f6feab5c5
On This Page