Skip to content
docker-ci

{Co,}Inductive rule labels now replace conj'ns entirely #245

Sign in to view logs

{Co,}Inductive rule labels now replace conj'ns entirely

{Co,}Inductive rule labels now replace conj'ns entirely #245

The logs for this run have expired and are no longer available.