TY  - RPRT
TI  - Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting
AU  - Michael Färber
PY  - 2022
DO  - 10.1145/3497775.3503683
UR  - https://arxiv.org/abs/2102.08766
ID  - 2102.08766
ER  -