eFLINT

Various projects related to the eFLINT language, a domains-specific modelling language for executable norm specification.

Documentation references are found here