package lascar

  1. Overview
  2. Docs
A library for manipulating Labeled Transition Systems in OCaml

Install

Dune Dependency

cloud.ip.univ-bpclermont.fr Edit opam file Versions (4)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

0.5.tar.gz
sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6
md5=ef21f44866b619b8da4d578f6feab5c5

Description

Published: 12 Apr 2018

Dependencies (3)

  1. ocamlfind build
  2. camlp4
  3. ocaml >= "4.03" & < "5.0"

Dev Dependencies

None

Used by (1)

  1. rfsm < "1.6-alpha-3"

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct