Up a level |
Gadgil, S and Tadipatri, AR (2024) Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. In: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, in affiliation with the annual Symposium on Principles of Programming, Languages, ,POPL 2024, 15 - 16 January 2024, London, pp. 177-189.