Conference Papers
Year : 2013
Burkhart Wolff : Connect in order to contact the contributor
https://inria.hal.science/hal-01766903
Submitted on : Saturday, April 14, 2018-4:56:56 PM
Last modification on : Wednesday, February 14, 2024-3:09:33 AM
Dates and versions
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⟩
Collections
57
View
0
Download