Cover von Duper opens in new tab

Duper

A Proof-Producing Superposition Theorem Prover for Dependent Type Theory
Year: 2024
Media group: LIPIcs

Details

Search for this author
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 10:1-10:20
Participating parties: Search for this character Clune, Joshua; Qian, Yicheng; Bentkamp, Alexander; Avigad, Jeremy
Media group: LIPIcs