Groupprops:Formalisms

Formalisms are tools used to describe and manipulate properties, metaproperties, property operators ...