FRDCSA
Minor
Internal
External
Git
Packages
clproverpp-1.0.3
Jump To:
Parent Description
a modality [list] where list is a (possibly empty) list of agents (positive