Shared-Memory Multiprocessing for Interactive Theorem Proving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Shared-Memory Multiprocessing for Interactive Theorem Proving

No file

Dates and versions

hal-01766903 , version 1 (14-04-2018)

Identifiers

  • HAL Id : hal-01766903 , version 1

Cite

Wenzel Makarius. Shared-Memory Multiprocessing for Interactive Theorem Proving. Interactive Theorem Proving - 4th International Conference, ITP 2013, 2013, Rennes, France. ⟨hal-01766903⟩
57 View
0 Download

Share

Gmail Facebook X LinkedIn More