lascar. An OCaml library for manipulating Labeled Transition Systems

github.com/jserot/lascar
by @jserot

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.