Domain-specific programming language for formalizing statutory law into algorithms
Homepage
Legal Reasoning & Adjudication