--------------------------------------------
 Asynchronous and Parallel Proof Processing
--------------------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/async-proofs.html
:Converted by: Maxime Dénès