jserot / lascar

An OCaml library for manipulating Labeled Transition Systems
24Updated 11 months ago

Alternatives and similar repositories for lascar:

Users that are interested in lascar are comparing it to the libraries listed below