https://github.com/cbenzmueller/LogiKEy
GitHub - cbenzmueller/LogiKEy: LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and...
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths - cbenzmueller/LogiKEy
for legalgithublogikeyworkbenchflexible