Skip to content
coqchk

Change order of the arguments in Trace and CanonicalTrace #54

Sign in to view logs

Change order of the arguments in Trace and CanonicalTrace

Change order of the arguments in Trace and CanonicalTrace #54

build (8.17, default)

build (8.17, default)
succeeded Dec 1, 2024 in 3m 6s