🧑🔬 Joshua Clune — papers of 2024 — 1 paper, the most cited first1 paper · all years of Joshua CluneDuper: A Proof-Producing Superposition Theorem Prover for Dependent Type TheoryITP 2024 (LIPIcs 309)Joshua Clune, Yicheng Qian, Alexander Bentkamp, et al.2024 · 8 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/joshua-clune/year/2024/