Small Proofs from Congruence ClosureOpen Website

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

2022 (modified: 30 Dec 2022)CoRR 2022Readers: Everyone
0 Replies