Login / Signup

Shared-Memory Multiprocessing for Interactive Theorem Proving.

Makarius Wenzel
Published in: ITP (2013)
Keyphrases