Verified Commit 571b5d08 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Computation of temporary terms generalized to any derivation order

parent 67ac4bf8
Pipeline #400 passed with stage
in 1 minute and 29 seconds