Skip to content

Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) #418

Adapt to coq/coq#18852 (interp_red_expr can be done without ltac)

Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) #418

Annotations

1 error and 1 warning

build (4.13.1, test, true)

failed Apr 5, 2024 in 7m 46s