Normative systems

Software, standards, and documentation relating to the Calculemus methodology for interpreting sources of norms, and the FLINT language for describing normative systems.