Michael Färber: Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting. CPP 2022: 225-238