Hets - the Heterogeneous Tool Set

Stabilityexperimental
Safe HaskellSafe-Inferred

TopHybrid

Description

This folder contains the files for Top Hybrid Logic basic specs.