There was an error while loading. Please reload this page.
The rocq-9.2 branch of coq-library-undecidability does not contain the path theories/MuRec/recalg.v.