31 citations · 149 across the 30 of their papers we have counts for
1 paper · 2 filters
Michael Kohlhase
We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem…