arxohq

German Civil Code (BGB) as executable rules: periods, deadlines and more, answered with grounds

UN Charter (1945, as amended) as an executable model with worked cases; not UN-affiliated

French family-benefit models (CNAF corpus) as executable rules with sources; independent demo

French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out

FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments

UNIDROIT Principles 2016 as executable rules: closed questions answered with grounds and source text