GitHub repository: smucclaw/fv
Primary language: Alloy
Created: 2020-06-05T10:34:53Z
Description: Formal Methods for computational law