Skip to content

Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) #47

Adapt to coq/coq#18624 (Tac2ffi / Tac2val split)

Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) #47